Searched refs:d_neg_guard (Results 1 – 2 of 2) sorted by relevance
218 std::map< Node, std::map< Node, Node > > d_neg_guard; variable
465 d_neg_guard[s_lbl][s_atom] = lit; in check()576 if( d_neg_guard[s_lbl].find( s_atom )!=d_neg_guard[s_lbl].end() ){ in check()578 Node guard = d_neg_guard[s_lbl][s_atom]; in check()