Searched refs:o_b_lbl_mval (Results 1 – 1 of 1) sorted by relevance
687 Node o_b_lbl_mval = d_label_model[s_lbl].getValue( tn ); in check() local688 … Trace("sep-process") << " Model for " << s_lbl << " : " << o_b_lbl_mval << std::endl; in check()710 …Node inst = instantiateLabel( s_atom, s_lbl, s_lbl, o_b_lbl_mval, visited, d_pto_model, tn, active… in check()