From 777b1a5f2bbfec6040e292cc182f5ec5f48d03e5 Mon Sep 17 00:00:00 2001 From: Gereon Kremer Date: Thu, 20 May 2021 16:29:17 +0200 Subject: Minor improvements to the API (#6585) This PR does some minor improvements to the API: - remove getConstSequenceElements(), use getSequenceValue() instead - improve documentation for Term --- src/api/python/cvc5.pxd | 2 +- src/api/python/cvc5.pxi | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) (limited to 'src/api/python') 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) -- cgit v1.2.3