Searched refs:d_pto_model (Results 1 – 2 of 2) sorted by relevance
240 if( d_pto_model[l].isNull() ){ in postProcessModel()261 Trace("sep-model") << d_pto_model[l]; in postProcessModel()262 Node vpto = d_valuation.getModel()->getRepresentative( d_pto_model[l] ); in postProcessModel()517 d_pto_model.clear(); in check()564 if( d_pto_model.find( vv )==d_pto_model.end() ){ in check()566 d_pto_model[vv] = s_atom[1]; in check()710 … inst = instantiateLabel( s_atom, s_lbl, s_lbl, o_b_lbl_mval, visited, d_pto_model, tn, active_lbl… in check()770 if( d_pto_model[l].isNull() ){ in check()795 … Trace("sep-process-debug") << " points-to data witness : " << d_pto_model[l] << std::endl; in check()
262 std::map< Node, Node > d_pto_model; variable