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.ArraySort

getDomain, getRange

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

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait