mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-10-08 08:51:55 +00:00
Code Activity

remove old files

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2025-10-05 14:06:36 -07:00
parent ad7b248956
commit 2ce30019ee
2 changed files with 0 additions and 27 deletions
Download patch file Download diff file Expand all files Collapse all files

0
src/ast/finite_sets_decl_plugin.cpp
View file

27
src/ast/finite_sets_decl_plugin.h
View file

@ -1,27 +0,0 @@
/*++
Copyright (c) 2025 Microsoft Corporation
Module Name:
finite_sets_decl_plugin.h
Abstract:
Declaration plugin for finite sets signatures
Sort:
FiniteSet(S)
Operators:
set.empty : (FiniteSet S)
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
set.map : (S -> T) (FiniteSet S) -> (FiniteSet T)
set.filter : (S -> Bool) (FiniteSet S) -> (FiniteSet S)
set.range : Int Int -> (FiniteSet Int)
--*/