com.microsoft.z3

Class ArraySort

java.lang.Object

com.microsoft.z3.IDisposable

com.microsoft.z3.Z3Object

com.microsoft.z3.AST

com.microsoft.z3.Sort

com.microsoft.z3.ArraySort

All Implemented Interfaces:

java.lang.Comparable<AST>

public class ArraySort
extends Sort

Array sorts.

Method Summary

Methods

Modifier and Type	Method and Description
Sort	getDomain() The domain of the array sort.
Sort	getRange() The range of the array 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

getDomain

public Sort getDomain()

The domain of the array sort.

Returns:

a sort

Throws:

Z3Exception

Z3Exception - on error

getRange

public Sort getRange()

The range of the array sort.

Returns:

a sort

Throws:

Z3Exception

Z3Exception - on error