Package com.microsoft.z3

Class BitVecSort

java.lang.Object

com.microsoft.z3.Z3Object

com.microsoft.z3.AST

com.microsoft.z3.Sort

com.microsoft.z3.BitVecSort

All Implemented Interfaces:

Comparable<AST>

public class BitVecSort
extends Sort

Bit-vector sorts.

Method Summary

Modifier and Type	Method	Description
int	getSize()	The size of the bit-vector 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

getSize

public int getSize()

The size of the bit-vector sort.

Returns:

an int

Throws:

Z3Exception - on error