Inheritance diagram for StringSymbol:

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

Named symbols

Definition at line 25 of file StringSymbol.java.

Member Function Documentation

String getString ( ) throws Z3Exception

inline

The string value of the symbol.

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

Definition at line 31 of file StringSymbol.java.

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