mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-05-02 00:23:44 +00:00
Code Activity

remove deprecated set_has_size

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2025-11-27 15:07:27 -08:00
parent 449ce1a012
commit 682865df24
1 changed files with 0 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

3
src/api/js/src/high-level/high-level.ts
View file

@ -2640,9 +2640,6 @@ export function createApi(Z3: Z3Core): Z3HighLevel {
diff(b: SMTSet<Name, ElemSort>): SMTSet<Name, ElemSort> { diff(b: SMTSet<Name, ElemSort>): SMTSet<Name, ElemSort> {
return SetDifference(this, b); return SetDifference(this, b);
} }
hasSize(size: string | number | bigint | IntNum<Name>): Bool<Name> {
return SetHasSize(this, size);
}
add(elem: CoercibleToMap<SortToExprMap<ElemSort, Name>, Name>): SMTSet<Name, ElemSort> { add(elem: CoercibleToMap<SortToExprMap<ElemSort, Name>, Name>): SMTSet<Name, ElemSort> {
return SetAdd(this, elem); return SetAdd(this, elem);
} }