diff options
Diffstat (limited to 'src/api/python')
-rw-r--r-- | src/api/python/cvc5.pxd | 2 | ||||
-rw-r--r-- | src/api/python/cvc5.pxi | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/src/api/python/cvc5.pxd b/src/api/python/cvc5.pxd index 24f8ac0a0..6fbc5ab57 100644 --- a/src/api/python/cvc5.pxd +++ b/src/api/python/cvc5.pxd @@ -359,7 +359,6 @@ cdef extern from "api/cpp/cvc5.h" namespace "cvc5::api": Op getOp() except + bint isNull() except + Term getConstArrayBase() except + - vector[Term] getConstSequenceElements() except + Term notTerm() except + Term andTerm(const Term& t) except + Term orTerm(const Term& t) except + @@ -377,6 +376,7 @@ cdef extern from "api/cpp/cvc5.h" namespace "cvc5::api": const_iterator begin() except + const_iterator end() except + bint isIntegerValue() except + + vector[Term] getSequenceValue() except + cdef cppclass TermHashFunction: TermHashFunction() except + diff --git a/src/api/python/cvc5.pxi b/src/api/python/cvc5.pxi index 6d197168d..cd643d3f3 100644 --- a/src/api/python/cvc5.pxi +++ b/src/api/python/cvc5.pxi @@ -1550,9 +1550,9 @@ cdef class Term: term.cterm = self.cterm.getConstArrayBase() return term - def getConstSequenceElements(self): + def getSequenceValue(self): elems = [] - for e in self.cterm.getConstSequenceElements(): + for e in self.cterm.getSequenceValue(): term = Term(self.solver) term.cterm = e elems.append(term) |