From fb41fbf5e117809e339b2110d3722f1f1e6147f6 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sat, 4 Oct 2025 17:30:25 -0700 Subject: [PATCH] placeholder for finite set signature Signed-off-by: Nikolaj Bjorner --- src/ast/finite_sets_decl_plugin.h | 1 + 1 file changed, 1 insertion(+) diff --git a/src/ast/finite_sets_decl_plugin.h b/src/ast/finite_sets_decl_plugin.h index c5b484604..7203e0ff8 100644 --- a/src/ast/finite_sets_decl_plugin.h +++ b/src/ast/finite_sets_decl_plugin.h @@ -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