Searched refs:ExtTheory (Results 1 – 4 of 4) sorted by relevance
31 ExtTheory::ExtTheory(Theory* p, bool cacheEnabled) in ExtTheory() function in CVC4::theory::ExtTheory44 std::vector<Node> ExtTheory::collectVars(Node n) in collectVars()75 Node ExtTheory::getSubstitutedTerm(int effort, in getSubstitutedTerm()101 void ExtTheory::getSubstitutedTerms(int effort, in getSubstitutedTerms()363 bool ExtTheory::doInferences(int effort, in doInferences()381 bool ExtTheory::doReductions(int effort, in doReductions()400 void ExtTheory::registerTerm(Node n) in registerTerm()415 void ExtTheory::registerTermRec(Node n) in registerTermRec()466 void ExtTheory::markCongruent(Node a, Node b) in markCongruent()508 bool ExtTheory::isActive(Node n) const in isActive()[all …]
65 class ExtTheory75 ExtTheory(Theory* p, bool cacheEnabled = false);76 virtual ~ExtTheory() {} in ~ExtTheory()
57 class ExtTheory; variable138 ExtTheory* d_extTheory;826 ExtTheory* getExtTheory();
328 ExtTheory* Theory::getExtTheory() { in getExtTheory()364 d_extTheory = new ExtTheory(this); in setupExtTheory()