1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
|
Strings
============
Basic String Term Builders
------------------------------
.. autofunction:: cvc5.pythonic.StringSort
.. autofunction:: cvc5.pythonic.String
.. autofunction:: cvc5.pythonic.Strings
.. autofunction:: cvc5.pythonic.StringVal
String Operators
-------------------
.. autofunction:: cvc5.pythonic.Length
:noindex:
.. autofunction:: cvc5.pythonic.SubString
.. autofunction:: cvc5.pythonic.Contains
.. autofunction:: cvc5.pythonic.PrefixOf
.. autofunction:: cvc5.pythonic.SuffixOf
.. autofunction:: cvc5.pythonic.IndexOf
.. autofunction:: cvc5.pythonic.Replace
.. autofunction:: cvc5.pythonic.StrToInt
.. autofunction:: cvc5.pythonic.IntToStr
.. autofunction:: cvc5.pythonic.StrToCode
.. autofunction:: cvc5.pythonic.StrFromCode
See the following operator overload for string terms:
* get character (special case of SubString): :py:meth:`cvc5.pythonic.StringRef.__getitem__`
Basic Regular Expression Term Builders
---------------------------------------
.. autofunction:: cvc5.pythonic.Re
.. autofunction:: cvc5.pythonic.Full
.. autofunction:: cvc5.pythonic.Option
.. autofunction:: cvc5.pythonic.Range
.. autofunction:: cvc5.pythonic.AllChar
Regular Expression Operators
-----------------------------
.. autofunction:: cvc5.pythonic.InRe
.. autofunction:: cvc5.pythonic.Union
.. autofunction:: cvc5.pythonic.Intersect
.. autofunction:: cvc5.pythonic.Complement
.. autofunction:: cvc5.pythonic.Plus
.. autofunction:: cvc5.pythonic.Star
.. autofunction:: cvc5.pythonic.Loop
.. autofunction:: cvc5.pythonic.Diff
Classes (with overloads)
------------------------
.. autoclass:: cvc5.pythonic.StringSortRef
:members:
:special-members:
.. autoclass:: cvc5.pythonic.StringRef
:members:
:special-members:
|
