com.microsoft.z3

Class Symbol

java.lang.Object

com.microsoft.z3.IDisposable

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 and Description
protected	Symbol(Context ctx, long obj) Symbol constructor

Method Summary

Methods

Modifier and Type	Method and Description
boolean	equals(java.lang.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.
java.lang.String	toString() A string representation of the symbol.

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

Constructor Detail

Symbol

protected Symbol(Context ctx,
      long obj)

Symbol constructor

Method Detail

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(java.lang.Object o)

Overrides:

equals in class java.lang.Object

toString

public java.lang.String toString()

A string representation of the symbol.

Overrides:

toString in class java.lang.Object