diff options
Diffstat (limited to 'src/api/python/cvc5.pxd')
-rw-r--r-- | src/api/python/cvc5.pxd | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/api/python/cvc5.pxd b/src/api/python/cvc5.pxd index baee5899e..f5dc2aca2 100644 --- a/src/api/python/cvc5.pxd +++ b/src/api/python/cvc5.pxd @@ -215,8 +215,9 @@ cdef extern from "api/cpp/cvc5.h" namespace "cvc5::api": Term mkInteger(const uint64_t i) except + Term mkInteger(const string& s) except + Term mkReal(const string& s) except + - Term mkRegexpNone() except + + Term mkRegexpAll() except + Term mkRegexpAllchar() except + + Term mkRegexpNone() except + Term mkEmptySet(Sort s) except + Term mkEmptyBag(Sort s) except + Term mkSepEmp() except + @@ -390,6 +391,8 @@ cdef extern from "api/cpp/cvc5.h" namespace "cvc5::api": Term substitute(const vector[Term] & es, const vector[Term] & reps) except + bint hasOp() except + Op getOp() except + + bint hasSymbol() except + + string getSymbol() except + bint isNull() except + Term getConstArrayBase() except + Term notTerm() except + |