ArraySort (z3-turnkey 4.10.1 API)

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
  
  All Methods Instance Methods Concrete Methods
  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 Detail
  - 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