Searched refs:validatePto (Results 1 – 2 of 2) sorted by relevance
303 void validatePto( HeapAssertInfo * ei, Node ei_n );
1596 validatePto( e1, t1 ); in eqNotifyPostMerge()1600 void TheorySep::validatePto( HeapAssertInfo * ei, Node ei_n ) { in validatePto() function in CVC4::theory::sep::TheorySep1658 validatePto( ei, ei_n ); in addPto()