Public Member Functions
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 ( )

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.

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