diff options
Diffstat (limited to 'src/api/python/cvc4.pxi')
| -rw-r--r-- | src/api/python/cvc4.pxi | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/src/api/python/cvc4.pxi b/src/api/python/cvc4.pxi index 5abbfb113..ab174ef0d 100644 --- a/src/api/python/cvc4.pxi +++ b/src/api/python/cvc4.pxi @@ -917,6 +917,16 @@ cdef class Solver: term.cterm = self.csolver.getValue(t.cterm) return term + def getSeparationHeap(self): + cdef Term term = Term() + term.cterm = self.csolver.getSeparationHeap() + return term + + def getSeparationNilTerm(self): + cdef Term term = Term() + term.cterm = self.csolver.getSeparationNilTerm() + return term + def pop(self, nscopes=1): self.csolver.pop(nscopes) |