Public Member Functions
StringSymbol Class Reference
+ Inheritance diagram for StringSymbol:

Public Member Functions

String getString ()
- 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

Named symbols

Definition at line 25 of file StringSymbol.java.

Member Function Documentation

◆ getString()

String getString ( )

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

Definition at line 32 of file StringSymbol.java.

33  {
34  return Native.getSymbolString(getContext().nCtx(), getNativeObject());
35  }