diff options
Diffstat (limited to 'src/api/python/cvc5.pxi')
| -rw-r--r-- | src/api/python/cvc5.pxi | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/api/python/cvc5.pxi b/src/api/python/cvc5.pxi index 1df252e86..3d24b5dbd 100644 --- a/src/api/python/cvc5.pxi +++ b/src/api/python/cvc5.pxi @@ -2839,6 +2839,12 @@ cdef class Term: op.cop = self.cterm.getOp() return op + def hasSymbol(self): + return self.cterm.hasSymbol() + + def getSymbol(self): + return self.cterm.getSymbol().decode() + def isNull(self): return self.cterm.isNull() |