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
|
Sets
============
Basic Set Term Builders
-------------------------
.. autofunction:: cvc5.pythonic.SetSort
.. autofunction:: cvc5.pythonic.Set
.. autofunction:: cvc5.pythonic.EmptySet
.. autofunction:: cvc5.pythonic.Singleton
.. autofunction:: cvc5.pythonic.FullSet
Set Operators
-------------------
.. autofunction:: cvc5.pythonic.SetUnion
.. autofunction:: cvc5.pythonic.SetIntersect
.. autofunction:: cvc5.pythonic.SetAdd
.. autofunction:: cvc5.pythonic.SetDel
.. autofunction:: cvc5.pythonic.SetComplement
.. autofunction:: cvc5.pythonic.SetDifference
.. autofunction:: cvc5.pythonic.SetMinus
.. autofunction:: cvc5.pythonic.IsMember
.. autofunction:: cvc5.pythonic.IsSubset
See the following operator overload for set terms:
* is member: :py:meth:`cvc5.pythonic.SetRef.__getitem__`
Classes (with overloads)
------------------------
.. autoclass:: cvc5.pythonic.SetSortRef
:members:
:special-members:
.. autoclass:: cvc5.pythonic.SetRef
:members:
:special-members:
|
