mirror of
https://github.com/Z3Prover/z3
synced 2025-10-08 08:51:55 +00:00
placeholder for finite set signature
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
e0fca3ba25
commit
fb41fbf5e1
1 changed files with 1 additions and 0 deletions
|
@ -16,6 +16,7 @@ Operators:
|
|||
set.union : (FiniteSet S) (FiniteSet S) -> (FiniteSet S)
|
||||
set.intersect : (FiniteSet S) (FiniteSet S) -> (FiniteSet S)
|
||||
set.difference : (FiniteSet S) (FiniteSet S) -> (FiniteSet S)
|
||||
set.singleton : S -> (FiniteSet S)
|
||||
set.in : S (FiniteSet S) -> Bool
|
||||
set.size : (FiniteSet S) -> Int
|
||||
set.subset : (FiniteSet S) (FiniteSet S) -> Bool
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue