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 5bcc3c5c3..1c7071958 100644 --- a/src/api/python/cvc4.pxd +++ b/src/api/python/cvc4.pxd @@ -243,6 +243,7 @@ cdef extern from "api/cvc4cpp.h" namespace "CVC4::api": bint operator!=(const Term&) except + Kind getKind() except + Sort getSort() except + + Term substitute(const vector[Term] es, const vector[Term] & reps) except + bint hasOp() except + Op getOp() except + bint isNull() except + |