diff options
Diffstat (limited to 'src/api/python/cvc5.pxd')
-rw-r--r-- | src/api/python/cvc5.pxd | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/api/python/cvc5.pxd b/src/api/python/cvc5.pxd index f5dc2aca2..2baed575a 100644 --- a/src/api/python/cvc5.pxd +++ b/src/api/python/cvc5.pxd @@ -51,6 +51,7 @@ cdef extern from "api/cpp/cvc5.h" namespace "cvc5::api": DatatypeSelector getSelector(const string& name) except + string getName() except + size_t getNumConstructors() except + + vector[Sort] getParameters() except + bint isParametric() except + bint isCodatatype() except + bint isTuple() except + @@ -76,7 +77,7 @@ cdef extern from "api/cpp/cvc5.h" namespace "cvc5::api": DatatypeSelector operator[](const string& name) except + string getName() except + Term getConstructorTerm() except + - Term getSpecializedConstructorTerm(const Sort& retSort) except + + Term getInstantiatedConstructorTerm(const Sort& retSort) except + Term getTesterTerm() except + size_t getNumSelectors() except + DatatypeSelector getSelector(const string& name) except + |