StringSymbol (Java Bindings for Z3)

java.lang.Object
- com.microsoft.z3.Z3Object
- - com.microsoft.z3.Symbol
  - - com.microsoft.z3.StringSymbol

public class StringSymbol
extends Symbol

Named symbols

- Method Summary
  
  All Methods Instance Methods Concrete Methods
  Modifier and Type Method Description
  
  String getString()
  The string value of the symbol.
  - Methods inherited from class com.microsoft.z3.Symbol
    equals, getKind, isIntSymbol, isStringSymbol, toString
  - Methods inherited from class com.microsoft.z3.Z3Object
    arrayLength, arrayToNative
  - Methods inherited from class java.lang.Object
    clone, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

- Method Detail
  - getString
```
public String getString()
```
    The string value of the symbol. Remarks: Throws an exception if the symbol is not of string kind.