Searched refs:d_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()1586 if( !e2->d_pto.get().isNull() ){ in eqNotifyPostMerge()1587 if( !e1->d_pto.get().isNull() ){ in eqNotifyPostMerge()1589 mergePto( e1->d_pto.get(), e2->d_pto.get() ); in eqNotifyPostMerge()1591 e1->d_pto.set( e2->d_pto.get() ); in eqNotifyPostMerge()1601 if( !ei->d_pto.get().isNull() && ei->d_has_neg_pto.get() ){ in validatePto()1623 if( !ei->d_pto.get().isNull() ){ in addPto()1626 mergePto( ei->d_pto.get(), p ); in addPto()1628 Node pb = ei->d_pto.get(); in addPto()[all …]
268 context::CDO< Node > d_pto; variable