Package com.microsoft.z3

Class Symbol

java.lang.Object

com.microsoft.z3.Z3Object

com.microsoft.z3.Symbol

Direct Known Subclasses:

IntSymbol, StringSymbol

public class Symbol
extends Z3Object

Symbols are used to name several term and type constructors.

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	Symbol(Context ctx, long obj)	Symbol constructor

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object o)
protected Z3_symbol_kind	getKind()	The kind of the symbol (int or string)
boolean	isIntSymbol()	Indicates whether the symbol is of Int kind
boolean	isStringSymbol()	Indicates whether the symbol is of string kind.
String	toString()	A string representation of the symbol.

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

Constructor Details

Symbol

protected Symbol(Context ctx,
 long obj)

Symbol constructor

Method Details

getKind

protected Z3_symbol_kind getKind()

The kind of the symbol (int or string)

isIntSymbol

public boolean isIntSymbol()

Indicates whether the symbol is of Int kind

isStringSymbol

public boolean isStringSymbol()

Indicates whether the symbol is of string kind.

equals

public boolean equals(Object o)

Overrides:

equals in class Object

toString

public String toString()

A string representation of the symbol.

Overrides:

toString in class Object