diff options
Diffstat (limited to 'src/api/python/cvc4.pxd')
| -rw-r--r-- | src/api/python/cvc4.pxd | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/api/python/cvc4.pxd b/src/api/python/cvc4.pxd index 624b3c365..eb4254560 100644 --- a/src/api/python/cvc4.pxd +++ b/src/api/python/cvc4.pxd @@ -250,6 +250,7 @@ cdef extern from "api/cvc4cpp.h" namespace "CVC4::api": bint hasOp() except + Op getOp() except + bint isNull() except + + bint isConst() except + Term getConstArrayBase() except + Term notTerm() except + Term andTerm(const Term& t) except + |