mirror of
https://github.com/AdaCore/cvc5.git
synced 2026-02-12 12:32:16 -08:00
34 lines
676 B
ReStructuredText
34 lines
676 B
ReStructuredText
Sequences
|
|
============
|
|
|
|
|
|
Basic Sequence Term Builders
|
|
-------------------------------
|
|
|
|
.. autofunction:: cvc5.pythonic.SeqSort
|
|
.. autofunction:: cvc5.pythonic.Unit
|
|
|
|
Sequence Operators
|
|
-------------------
|
|
|
|
.. autofunction:: cvc5.pythonic.Empty
|
|
.. autofunction:: cvc5.pythonic.Length
|
|
.. autofunction:: cvc5.pythonic.SubSeq
|
|
.. autofunction:: cvc5.pythonic.SeqUpdate
|
|
|
|
|
|
See the following operator overload for sequence terms:
|
|
|
|
* is member: :py:meth:`cvc5.pythonic.SeqRef.__getitem__`
|
|
|
|
|
|
Classes (with overloads)
|
|
----------------------------
|
|
|
|
.. autoclass:: cvc5.pythonic.SeqSortRef
|
|
:members:
|
|
:special-members:
|
|
.. autoclass:: cvc5.pythonic.SeqRef
|
|
:members:
|
|
:special-members:
|