Searched refs:isExtfReduced (Results 1 – 8 of 8) sorted by relevance
/dports/math/cvc4/CVC4-1.7/src/theory/arith/ |
H A D | theory_arith.cpp | 102 bool TheoryArith::isExtfReduced( int effort, Node n, Node on, std::vector< Node >& exp ) { in isExtfReduced() function in CVC4::theory::arith::TheoryArith 103 return d_internal->isExtfReduced( effort, n, on, exp ); in isExtfReduced()
|
H A D | theory_arith.h | 71 bool isExtfReduced(int effort,
|
H A D | nonlinear_extension.h | 113 std::pair<bool, Node> isExtfReduced(int effort, Node n, Node on,
|
H A D | theory_arith_private.h | 442 bool isExtfReduced( int effort, Node n, Node on, std::vector< Node >& exp );
|
H A D | theory_arith_private.cpp | 4098 bool TheoryArithPrivate::isExtfReduced(int effort, Node n, Node on, in isExtfReduced() function in CVC4::theory::arith::TheoryArithPrivate 4102 d_nonlinearExtension->isExtfReduced(effort, n, on, exp); in isExtfReduced()
|
H A D | nonlinear_extension.cpp | 269 std::pair<bool, Node> NonlinearExtension::isExtfReduced( in isExtfReduced() function in CVC4::theory::arith::NonlinearExtension
|
/dports/math/cvc4/CVC4-1.7/src/theory/ |
H A D | theory.h | 840 …virtual bool isExtfReduced( int effort, Node n, Node on, std::vector< Node >& exp ) { return n.isC… in isExtfReduced() function
|
H A D | ext_theory.cpp | 245 if (d_parent->isExtfReduced(effort, sr, terms[i], exp[i])) in doInferencesInternal()
|