Searched refs:mergePto (Results 1 – 2 of 2) sorted by relevance
305 void mergePto( Node p1, Node p2 );
1589 mergePto( e1->d_pto.get(), e2->d_pto.get() ); in eqNotifyPostMerge()1626 mergePto( ei->d_pto.get(), p ); in addPto()1665 void TheorySep::mergePto( Node p1, Node p2 ) { in mergePto() function in CVC4::theory::sep::TheorySep