Searched refs:edge_thm (Results 1 – 2 of 2) sorted by relevance
851 void addEdge(const Expr& x, const Expr& y, const Rational& c, const Theorem& edge_thm);
4788 …LogicGraph::addEdge(const Expr& x, const Expr& y, const Rational& bound, const Theorem& edge_thm) { in addEdge() argument4800 int kind = (edge_thm.isNull() ? LE : edge_thm.getExpr().getKind()); in addEdge()4831 edgeInfo.explanation = edge_thm; in addEdge()4882 …TRACE("arith propagate", "could have propagated ", edge_thm.getExpr(), edge_thm.isAssump() ? " ASS… in addEdge()