com.microsoft.z3

Class StringSymbol

java.lang.Object

com.microsoft.z3.IDisposable

com.microsoft.z3.Z3Object

com.microsoft.z3.Symbol

com.microsoft.z3.StringSymbol

public class StringSymbol
extends Symbol

Named symbols

Method Summary

Methods

Modifier and Type	Method and Description
java.lang.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

dispose, finalize

Methods inherited from class java.lang.Object

clone, getClass, hashCode, notify, notifyAll, wait, wait, wait

Method Detail

getString

public java.lang.String getString()

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