diff options
Diffstat (limited to 'src/api/python/cvc5.pxd')
-rw-r--r-- | src/api/python/cvc5.pxd | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/api/python/cvc5.pxd b/src/api/python/cvc5.pxd index b91a9e9c5..a044c79f5 100644 --- a/src/api/python/cvc5.pxd +++ b/src/api/python/cvc5.pxd @@ -341,6 +341,11 @@ cdef extern from "api/cpp/cvc5.h" namespace "cvc5::api": Term() bint operator==(const Term&) except + bint operator!=(const Term&) except + + bint operator<(const Term&) except + + bint operator>(const Term&) except + + bint operator<=(const Term&) except + + bint operator>=(const Term&) except + + size_t getNumChildren() except + Term operator[](size_t idx) except + uint64_t getId() except + Kind getKind() except + @@ -367,6 +372,7 @@ cdef extern from "api/cpp/cvc5.h" namespace "cvc5::api": Term operator*() except + const_iterator begin() except + const_iterator end() except + + bint isInteger() except + cdef cppclass TermHashFunction: TermHashFunction() except + |