Home
last modified time | relevance | path

Searched defs:ppStaticLearn (Results 1 – 6 of 6) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/theory/arith/
H A Dtheory_arith.cpp81 void TheoryArith::ppStaticLearn(TNode n, NodeBuilder<>& learned) { in ppStaticLearn() function in CVC4::theory::arith::TheoryArith
H A Dtheory_arith_private.cpp1411 void TheoryArithPrivate::ppStaticLearn(TNode n, NodeBuilder<>& learned) { in ppStaticLearn() function in CVC4::theory::arith::TheoryArithPrivate
/dports/math/cvc4/CVC4-1.7/src/theory/
H A Dtheory.h542 virtual void ppStaticLearn(TNode in, NodeBuilder<>& learned) { } in ppStaticLearn() function
H A Dtheory_engine.cpp994 void TheoryEngine::ppStaticLearn(TNode in, NodeBuilder<>& learned) { in ppStaticLearn() function in CVC4::TheoryEngine
/dports/math/cvc4/CVC4-1.7/src/theory/uf/
H A Dtheory_uf.cpp448 void TheoryUF::ppStaticLearn(TNode n, NodeBuilder<>& learned) { in ppStaticLearn() function in CVC4::theory::uf::TheoryUF
/dports/math/cvc4/CVC4-1.7/src/theory/bv/
H A Dtheory_bv.cpp936 void TheoryBV::ppStaticLearn(TNode in, NodeBuilder<>& learned) { in ppStaticLearn() function in CVC4::theory::bv::TheoryBV