diff options
| author | Piotr Trojanek <piotr.trojanek@gmail.com> | 2019-08-22 23:22:51 +0200 |
|---|---|---|
| committer | Andres Noetzli <andres.noetzli@gmail.com> | 2019-10-08 11:03:44 -0700 |
| commit | e7929d2cd241d8b4974d26b9e11f1378ba30b0e7 (patch) | |
| tree | 397a57a6769ee3e3d7a6ea6a646676b35f6c64bb /src/theory/arith/arith_ite_utils.cpp | |
| parent | 788212a3783affa634dc685b6f1b086f292c2528 (diff) | |
prefer prefix ++ operator for iterators
Detected with cppcheck static analyser, which said: (performance) Prefer
prefix ++/-- operators for non-primitive types. Reformat with clang-format
as needed.
Signed-off-by: Piotr Trojanek <piotr.trojanek@gmail.com>
Diffstat (limited to 'src/theory/arith/arith_ite_utils.cpp')
| -rw-r--r-- | src/theory/arith/arith_ite_utils.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/theory/arith/arith_ite_utils.cpp b/src/theory/arith/arith_ite_utils.cpp index 3980b41b8..454d6c11f 100644 --- a/src/theory/arith/arith_ite_utils.cpp +++ b/src/theory/arith/arith_ite_utils.cpp @@ -374,7 +374,8 @@ Node ArithIteUtils::findIteCnd(TNode tb, TNode fb) const{ // (not y) => (not x) // (not z) => x std::set<Node>::const_iterator ci = negtimp.begin(), cend = negtimp.end(); - for(; ci != cend; ci++){ + for (; ci != cend; ++ci) + { Node impliedByNotTB = *ci; Node impliedByNotTBNeg = impliedByNotTB.negate(); if(negfimp.find(impliedByNotTBNeg) != negfimp.end()){ |