Searched refs:d_infer_exp (Results 1 – 6 of 6) sorted by relevance
50 d_infer_exp(c), in TheoryDatatypes()859 d_infer_exp.push_back( unifEq ); in merge()1125 d_infer_exp.push_back( t ); in addTester()1165 d_infer_exp.push_back( t_concl_exp ); in addTester()1348 d_infer_exp.push_back( eq_exp ); in collapseSelector()1798 d_infer_exp.push_back(exp); in instantiate()1887 d_infer_exp.push_back( eqExp ); in checkCycles()
48 NodeList d_infer_exp; variable
226 NodeList d_infer_exp; variable
49 d_infer_exp(c), in TheorySep()1700 d_infer_exp.push_back( conc ); in sendLemma()
309 NodeList d_infer_exp; variable
109 d_infer_exp(c), in TheoryStrings()4142 d_infer_exp.push_back( eq_exp ); in sendInfer()