Home
last modified time | relevance | path

Searched defs:addSharedTerm (Results 1 – 25 of 27) sorted by relevance

12

/dports/math/cvc4/CVC4-1.7/src/theory/bv/
H A Dbv_subtheory.h87 virtual void addSharedTerm(TNode node) {} in addSharedTerm() function
H A Dbv_subtheory_core.h113 void addSharedTerm(TNode t) override in addSharedTerm() function
H A Dtheory_bv.cpp900 void TheoryBV::addSharedTerm(TNode t) { in addSharedTerm() function in CVC4::theory::bv::TheoryBV
/dports/math/cvc4/CVC4-1.7/src/theory/sets/
H A Dtheory_sets.cpp43 void TheorySets::addSharedTerm(TNode n) { in addSharedTerm() function in CVC4::theory::sets::TheorySets
H A Dtheory_sets_rels.cpp1151 void TheorySetsRels::addSharedTerm( TNode n ) { in addSharedTerm() function in CVC4::theory::sets::TheorySetsRels
H A Dtheory_sets_private.cpp1787 void TheorySetsPrivate::addSharedTerm(TNode n) { in addSharedTerm() function in CVC4::theory::sets::TheorySetsPrivate
/dports/math/cvc4/CVC4-1.7/src/theory/arith/
H A Dtheory_arith.cpp68 void TheoryArith::addSharedTerm(TNode n){ in addSharedTerm() function in CVC4::theory::arith::TheoryArith
H A Dcongruence_manager.cpp469 void ArithCongruenceManager::addSharedTerm(Node x){ in addSharedTerm() function in CVC4::theory::arith::ArithCongruenceManager
/dports/math/cvc4/CVC4-1.7/src/theory/
H A Dshared_terms_database.cpp54 void SharedTermsDatabase::addSharedTerm(TNode atom, TNode term, Theory::Set theories) { in addSharedTerm() function in CVC4::SharedTermsDatabase
H A Dtheory.h463 virtual void addSharedTerm(TNode n) { } in addSharedTerm() function
/dports/math/cvc3/cvc3-2.4.1/src/include/
H A Dtheory_core.h383 void addSharedTerm(const Expr& e) { } in addSharedTerm() function
H A Dtheory.h127 virtual void addSharedTerm(const Expr& e) {} in addSharedTerm() function
H A Dtheory_quant.h728 void addSharedTerm(const Expr& e) {} //!< Theory interface in addSharedTerm() function
/dports/math/cvc3/cvc3-2.4.1/src/theory_array/
H A Dtheory_array.cpp78 void TheoryArray::addSharedTerm(const Expr& e) in addSharedTerm() function in TheoryArray
/dports/math/cvc3/cvc3-2.4.1/src/theory_uf/
H A Dtheory_uf.cpp1139 void TheoryUF::addSharedTerm(const CVC3::Expr& e) { in addSharedTerm() function in TheoryUF
/dports/math/cvc4/CVC4-1.7/src/theory/fp/
H A Dtheory_fp.cpp909 void TheoryFp::addSharedTerm(TNode node) { in addSharedTerm() function in CVC4::theory::fp::TheoryFp
/dports/math/cvc4/CVC4-1.7/src/theory/uf/
H A Dtheory_uf.cpp586 void TheoryUF::addSharedTerm(TNode t) { in addSharedTerm() function in CVC4::theory::uf::TheoryUF
/dports/math/cvc3/cvc3-2.4.1/src/theory_datatype/
H A Dtheory_datatype.cpp191 void TheoryDatatype::addSharedTerm(const Expr& e) in addSharedTerm() function in TheoryDatatype
/dports/math/cvc4/CVC4-1.7/src/theory/arrays/
H A Dtheory_arrays.cpp866 void TheoryArrays::addSharedTerm(TNode t) { in addSharedTerm() function in CVC4::theory::arrays::TheoryArrays
/dports/math/cvc4/CVC4-1.7/src/theory/sep/
H A Dtheory_sep.cpp156 void TheorySep::addSharedTerm(TNode t) { in addSharedTerm() function in CVC4::theory::sep::TheorySep
/dports/math/cvc4/CVC4-1.7/src/theory/datatypes/
H A Dtheory_datatypes.cpp696 void TheoryDatatypes::addSharedTerm(TNode t) { in addSharedTerm() function in CVC4::theory::datatypes::TheoryDatatypes
/dports/math/cvc3/cvc3-2.4.1/src/theory_arith/
H A Dtheory_arith3.cpp2015 void TheoryArith3::addSharedTerm(const Expr& e) { in addSharedTerm() function in TheoryArith3
H A Dtheory_arith_new.cpp1282 void TheoryArithNew::addSharedTerm(const Expr& e) { in addSharedTerm() function in TheoryArithNew
H A Dtheory_arith_old.cpp2472 void TheoryArithOld::addSharedTerm(const Expr& e) { in addSharedTerm() function in TheoryArithOld
/dports/math/cvc3/cvc3-2.4.1/src/theory_bitvector/
H A Dtheory_bitvector.cpp1850 void TheoryBitvector::addSharedTerm(const Expr& e) in addSharedTerm() function in TheoryBitvector

12