IntSymbol Class Reference

Inheritance diagram for IntSymbol:

Public Member Functions
int	getInt ()
Public Member Functions inherited from Symbol
boolean	isIntSymbol ()
boolean	isStringSymbol ()
boolean	equals (Object o)
String	toString ()

Additional Inherited Members
Static Public Member Functions inherited from Z3Object
static long[]	arrayToNative (Z3Object[] a)
static int	arrayLength (Z3Object[] a)
Protected Member Functions inherited from Symbol
Z3_symbol_kind	getKind ()
	Symbol (Context ctx, long obj)

Detailed Description

Numbered symbols

Definition at line 25 of file IntSymbol.java.

Member Function Documentation

getInt()

int getInt ( )

inline

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

Definition at line 32 of file IntSymbol.java.

    {
        if (!isIntSymbol())
            throw new Z3Exception("Int requested from non-Int symbol");
        return Native.getSymbolInt(getContext().nCtx(), getNativeObject());
    }