diff options
Diffstat (limited to 'src/api/python/cvc4.pxi')
| -rw-r--r-- | src/api/python/cvc4.pxi | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/api/python/cvc4.pxi b/src/api/python/cvc4.pxi index b7593f6f1..5abbfb113 100644 --- a/src/api/python/cvc4.pxi +++ b/src/api/python/cvc4.pxi @@ -1100,6 +1100,9 @@ cdef class Term: def isNull(self): return self.cterm.isNull() + def isConst(self): + return self.cterm.isConst() + def getConstArrayBase(self): cdef Term term = Term() term.cterm = self.cterm.getConstArrayBase() |