Package com.microsoft.z3

Class RelationSort

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

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 Details

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