Package com.microsoft.z3

Class IntSymbol

java.lang.Object

com.microsoft.z3.Z3Object

com.microsoft.z3.Symbol

com.microsoft.z3.IntSymbol

public class IntSymbol
extends Symbol

Numbered symbols

Method Summary

Modifier and Type	Method	Description
int	getInt()	The int value of the symbol.

Methods inherited from class com.microsoft.z3.Symbol

equals, getKind, isIntSymbol, isStringSymbol, toString

Methods inherited from class com.microsoft.z3.Z3Object

arrayLength, arrayToNative

Methods inherited from class java.lang.Object

clone, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Method Details

getInt

public int getInt()

The int value of the symbol. Remarks: Throws an exception if the symbol is not of int kind.