Searched refs:d_infer (Results 1 – 6 of 6) sorted by relevance
49 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()
47 NodeList d_infer; variable
225 NodeList d_infer; variable
48 d_infer(c), in TheorySep()1699 d_infer.push_back( ant_n ); in sendLemma()
308 NodeList d_infer; variable
108 d_infer(c), in TheoryStrings()4141 d_infer.push_back( eq ); in sendInfer()