Searched defs:collectTerms (Results 1 – 3 of 3) sorted by relevance
/dports/math/cvc4/CVC4-1.7/src/theory/ | ||
H A D | theory.cpp | 237 void Theory::collectTerms(TNode n, in collectTerms() function in CVC4::theory::Theory |
/dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/sygus/ | ||
H A D | sygus_grammar_cons.cpp | 60 void CegGrammarConstructor::collectTerms( Node n, std::map< TypeNode, std::vector< Node > >& consts… in collectTerms() function in CVC4::theory::quantifiers::CegGrammarConstructor |
/dports/math/cvc4/CVC4-1.7/src/theory/datatypes/ | ||
H A D | theory_datatypes.cpp | 1666 void TheoryDatatypes::collectTerms( Node n ) { in collectTerms() function in CVC4::theory::datatypes::TheoryDatatypes |