Searched refs:getEdgeTheorems (Results 1 – 2 of 2) sorted by relevance
| /dports/math/cvc3/cvc3-2.4.1/src/theory_arith/ |
| H A D | theory_arith_old.cpp | 4888 void TheoryArithOld::DifferenceLogicGraph::getEdgeTheorems(const Expr& x, const Expr& z, const Edge… in getEdgeTheorems() function in TheoryArithOld::DifferenceLogicGraph
4902 getEdgeTheorems(x, y, x_y, outputTheorems); in getEdgeTheorems()
4903 getEdgeTheorems(y, z, y_z, outputTheorems); in getEdgeTheorems()
4919 getEdgeTheorems(x, x, x_x_cycle, inequalities); in analyseConflict()
4991 getEdgeTheorems(x, z, x_z_le, pathTheorems); in tryUpdate()
5001 getEdgeTheorems(x, y, x_y_le, antecedentThms); in tryUpdate()
5002 getEdgeTheorems(y, z, y_z_le, antecedentThms); in tryUpdate()
5079 diffLogicGraph.getEdgeTheorems(x, y, x_y_edge, antecedentThms); in tryPropagate()
5102 diffLogicGraph.getEdgeTheorems(x, y, x_y_edge, antecedentThms); in tryPropagate()
|
| /dports/math/cvc3/cvc3-2.4.1/src/include/ |
| H A D | theory_arith_old.h | 730 …void getEdgeTheorems(const Expr& x, const Expr& y, const EdgeInfo& edgeInfo, std::vector<Theorem>&…
|