IntSymbol Class Reference

Inheritance diagram for IntSymbol:

Public Member Functions
int	getInt () throws Z3Exception
Public Member Functions inherited from Symbol
boolean	isIntSymbol () throws Z3Exception
boolean	isStringSymbol () throws Z3Exception
String	toString ()
Public Member Functions inherited from Z3Object
void	dispose () throws Z3Exception
Public Member Functions inherited from IDisposable
void	dispose () throws Z3Exception

Additional Inherited Members
Protected Member Functions inherited from Symbol
Z3_symbol_kind	getKind () throws Z3Exception
	Symbol (Context ctx, long obj) throws Z3Exception
Protected Member Functions inherited from Z3Object
void	finalize () throws Z3Exception

Detailed Description

Numbered symbols

Definition at line 25 of file IntSymbol.java.

Member Function Documentation

int getInt ( ) throws Z3Exception

inline

The int value of the symbol.

Throws an exception if the symbol is not of int kind.

Definition at line 31 of file IntSymbol.java.

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