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:
|