Searched refs:toSumNode (Results 1 – 1 of 1) sorted by relevance
81 static Node toSumNode(const ArithVariables& vars, const DenseMap<Rational>& sum);2338 Node sum = toSumNode(d_partialModel, lhs); in replayGetConstraint()2454 Node toSumNode(const ArithVariables& vars, const DenseMap<Rational>& sum){ in toSumNode() function2985 Node sum = toSumNode(d_partialModel, lhs); in cutToLiteral()