Searched refs:d_refinement_lem (Results 1 – 2 of 2) sorted by relevance
210 std::map< Node, std::map< Node, std::vector< Node > > > d_refinement_lem; variable
733 …if( std::find( d_refinement_lem[s_atom][s_lbl].begin(), d_refinement_lem[s_atom][s_lbl].end(), lem… in check()734 d_refinement_lem[s_atom][s_lbl].push_back( lem ); in check()735 …Trace("sep-process") << "-----> refinement lemma (#" << d_refinement_lem[s_atom][s_lbl].size() << … in check()