Searched refs:d_has_neg_pto (Results 1 – 2 of 2) sorted by relevance
838 TheorySep::HeapAssertInfo::HeapAssertInfo( context::Context* c ) : d_pto(c), d_has_neg_pto(c,false)… in HeapAssertInfo()1584 if( e2 && ( !e2->d_pto.get().isNull() || e2->d_has_neg_pto.get() ) ){ in eqNotifyPostMerge()1594 e1->d_has_neg_pto.set( e1->d_has_neg_pto.get() || e2->d_has_neg_pto.get() ); in eqNotifyPostMerge()1601 if( !ei->d_pto.get().isNull() && ei->d_has_neg_pto.get() ){ in validatePto()1617 ei->d_has_neg_pto.set( false ); in validatePto()1660 ei->d_has_neg_pto.set( true ); in addPto()
269 context::CDO< bool > d_has_neg_pto; variable