Package com.microsoft.z3

Class ArraySort<D extends Sort,R extends Sort>

java.lang.Object

com.microsoft.z3.Z3Object

com.microsoft.z3.AST

com.microsoft.z3.Sort

com.microsoft.z3.ArraySort<D,R>

All Implemented Interfaces:

Comparable<AST>

Direct Known Subclasses:

SetSort

public class ArraySort<D extends Sort,R extends Sort>
extends Sort

Array sorts.

Method Summary

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

getDomain

public D getDomain()

The domain of the array sort.

Returns:

a sort

Throws:

Z3Exception

Z3Exception - on error

getRange

public R getRange()

The range of the array sort.

Returns:

a sort

Throws:

Z3Exception

Z3Exception - on error