Searched refs:addPto (Results 1 – 2 of 2) sorted by relevance
| /dports/math/cvc4/CVC4-1.7/src/theory/sep/ |
| H A D | theory_sep.h | 304 void addPto( HeapAssertInfo * ei, Node ei_n, Node p, bool polarity );
|
| H A D | theory_sep.cpp | 502 addPto( ei, r, atom, polarity ); in check()
1611 addPto( ei, ei_n, atom, false ); in validatePto()
1621 void TheorySep::addPto( HeapAssertInfo * ei, Node ei_n, Node p, bool polarity ) { in addPto() function in CVC4::theory::sep::TheorySep
|