Package com.microsoft.z3

Class FiniteDomainSort<R>

java.lang.Object

com.microsoft.z3.Z3Object

com.microsoft.z3.AST

com.microsoft.z3.Sort

com.microsoft.z3.FiniteDomainSort<R>

All Implemented Interfaces:

Comparable<AST>

public class FiniteDomainSort<R>
extends Sort

Finite domain sorts.

Method Summary

Modifier and Type	Method	Description
long	getSize()	The size of the finite domain sort.

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

Method Details

getSize

public long getSize()

The size of the finite domain sort.

Throws:

Z3Exception - on error