Home
last modified time | relevance | path

Searched refs:isExtfReduced (Results 1 – 8 of 8) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/theory/arith/
H A Dtheory_arith.cpp102 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 Dtheory_arith.h71 bool isExtfReduced(int effort,
H A Dnonlinear_extension.h113 std::pair<bool, Node> isExtfReduced(int effort, Node n, Node on,
H A Dtheory_arith_private.h442 bool isExtfReduced( int effort, Node n, Node on, std::vector< Node >& exp );
H A Dtheory_arith_private.cpp4098 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 Dnonlinear_extension.cpp269 std::pair<bool, Node> NonlinearExtension::isExtfReduced( in isExtfReduced() function in CVC4::theory::arith::NonlinearExtension
/dports/math/cvc4/CVC4-1.7/src/theory/
H A Dtheory.h840 …virtual bool isExtfReduced( int effort, Node n, Node on, std::vector< Node >& exp ) { return n.isC… in isExtfReduced() function
H A Dext_theory.cpp245 if (d_parent->isExtfReduced(effort, sr, terms[i], exp[i])) in doInferencesInternal()