Package com.microsoft.z3
Class SetSort<D extends Sort>
- java.lang.Object
-
- com.microsoft.z3.Z3Object
-
- com.microsoft.z3.AST
-
- com.microsoft.z3.Sort
-
- com.microsoft.z3.ArraySort<D,BoolSort>
-
- com.microsoft.z3.SetSort<D>
-
- All Implemented Interfaces:
Comparable<AST>
public class SetSort<D extends Sort> extends ArraySort<D,BoolSort>
Set sorts.
-
-
Method Summary
-
Methods inherited from class com.microsoft.z3.Sort
equals, getId, getName, getSortKind, hashCode, toString, translate
-
Methods inherited from class com.microsoft.z3.AST
compareTo, getASTKind, getSExpr, isApp, isExpr, isFuncDecl, isQuantifier, isSort, isVar
-
Methods inherited from class com.microsoft.z3.Z3Object
arrayLength, arrayToNative
-
-