RelationSort (z3-turnkey 4.10.1 API)

java.lang.Object
- com.microsoft.z3.Z3Object
- - com.microsoft.z3.AST
  - - com.microsoft.z3.Sort
    - - com.microsoft.z3.RelationSort

All Implemented Interfaces:

Comparable<AST>
```
public class RelationSort
extends Sort
```
Relation sorts.

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`int`	`getArity()`	The arity of the relation sort.
`Sort[]`	`getColumnSorts()`	The sorts of the columns of the relation 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
  - getArity
```
public int getArity()
```
    The arity of the relation sort.
  - getColumnSorts
```
public Sort[] getColumnSorts()
```
    The sorts of the columns of the relation sort.
    
    Throws:
    
    Z3Exception