Z3
Public Member Functions
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.

32  {
33  if (!isIntSymbol())
34  throw new Z3Exception("Int requested from non-Int symbol");
35  return Native.getSymbolInt(getContext().nCtx(), getNativeObject());
36  }
boolean isIntSymbol()
Definition: Symbol.java:39