Home
last modified time | relevance | path

Searched defs:sumHashMap (Results 1 – 4 of 4) sorted by relevance

/dports/math/cvc3/cvc3-2.4.1/src/theory_bitvector/
H A Dbitvector_theorem_producer.cpp2255 ExprMap<Rational> sumHashMap; in rewriteBVSub() local
4864 ExprMap<Rational> sumHashMap; in canonBVMult() local
5021 ExprMap<Rational>& sumHashMap) in getPlusTerms()
5290 ExprMap<Rational> sumHashMap; in chopConcat() local
5300 ExprMap<Rational>& sumHashMap) in buildPlusTerm()
5569 ExprMap<Rational> sumHashMap; in canonBVPlus() local
5769 ExprMap<Rational> sumHashMap; in canonBVEQ() local
/dports/math/cvc3/cvc3-2.4.1/src/theory_arith/
H A Darith_theorem_producer.cpp437 …MonomMap sumHashMap; // The hash map of the summands, so that we can gather them and sum in … in canonCombineLikeTerms() local
1100 ExprMap<Rational> sumHashMap; in canonComboLikeTerms() local
H A Darith_theorem_producer3.cpp432 MonomMap sumHashMap; in canonCombineLikeTerms() local
1087 ExprMap<Rational> sumHashMap; in canonComboLikeTerms() local
H A Darith_theorem_producer_old.cpp433 MonomMap sumHashMap; in canonCombineLikeTerms() local
1137 ExprMap<Rational> sumHashMap; in canonComboLikeTerms() local