Searched refs:c_lems (Results 1 – 1 of 1) sorted by relevance
373 std::vector< Node > c_lems; in check() local376 …c_lems.push_back( NodeManager::currentNM()->mkNode( kind::SUBSET, s_lbl, d_reference_bound_max[tn]… in check()390 c_lems.push_back( ulem ); in check()396 c_lems.push_back( ilem ); in check()403 c_lems.push_back( ulem ); in check()407 c_lems.push_back( ilem ); in check()415 for( unsigned j=0; j<c_lems.size(); j++ ){ in check()416 Trace("sep-lemma") << "Sep::Lemma : definition : " << c_lems[j] << std::endl; in check()417 d_out->lemma( c_lems[j] ); in check()