Home
last modified time | relevance | path

Searched refs:d_infer (Results 1 – 6 of 6) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/theory/datatypes/
H A Dtheory_datatypes.cpp49 d_infer(c), in TheoryDatatypes()
302 d_infer.push_back( t ); in check()
858 d_infer.push_back( eq ); in merge()
1124 d_infer.push_back( infer ); in addTester()
1164 d_infer.push_back( t_concl ); in addTester()
1347 d_infer.push_back( eq ); in collapseSelector()
1797 d_infer.push_back(eq); in instantiate()
1886 d_infer.push_back( eq ); in checkCycles()
H A Dtheory_datatypes.h47 NodeList d_infer; variable
/dports/math/cvc4/CVC4-1.7/src/theory/sep/
H A Dtheory_sep.h225 NodeList d_infer; variable
H A Dtheory_sep.cpp48 d_infer(c), in TheorySep()
1699 d_infer.push_back( ant_n ); in sendLemma()
/dports/math/cvc4/CVC4-1.7/src/theory/strings/
H A Dtheory_strings.h308 NodeList d_infer; variable
H A Dtheory_strings.cpp108 d_infer(c), in TheoryStrings()
4141 d_infer.push_back( eq ); in sendInfer()