Symbol (z3-turnkey 4.10.1 API)

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

All Methods Instance Methods Concrete Methods
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 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(Object o)
```
    Overrides:
    
    equals in class Object
  - toString
```
public String toString()
```
    A string representation of the symbol.
    
    Overrides:
    
    toString in class Object