com.microsoft.z3

Class FiniteDomainSort

java.lang.Object

com.microsoft.z3.IDisposable

com.microsoft.z3.Z3Object

com.microsoft.z3.AST

com.microsoft.z3.Sort

com.microsoft.z3.FiniteDomainSort

All Implemented Interfaces:

java.lang.Comparable<AST>

public class FiniteDomainSort
extends Sort

Finite domain sorts.

Method Summary

Methods

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

Methods inherited from class com.microsoft.z3.Sort

equals, getId, getName, getSortKind, hashCode, toString

Methods inherited from class com.microsoft.z3.AST

compareTo, getASTKind, getSExpr, isApp, isExpr, isFuncDecl, isQuantifier, isSort, isVar, translate

Methods inherited from class com.microsoft.z3.Z3Object

dispose, finalize

Methods inherited from class java.lang.Object

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

Method Detail

getSize

public long getSize()

The size of the finite domain sort.

Throws:

Z3Exception - on error