SymbolManager

java.lang.Object
- io.github.cvc5.SymbolManager

public class SymbolManager
extends java.lang.Object

Field Summary

Fields
Modifier and Type Field Description

protected long pointer

Constructor Summary

Constructors
Constructor Description

SymbolManager(Solver solver)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`void`	`deletePointer()`
`protected void`	`deletePointer(long pointer)`
`boolean`	`equals(java.lang.Object s)`
`java.lang.String`	`getLogic()`
`long`	`getPointer()`
`boolean`	`isLogicSet()`
`java.lang.String`	`toString()`
`protected java.lang.String`	`toString(long pointer)`

Methods inherited from class java.lang.Object
clone, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail
- pointer
```
protected long pointer
```

Constructor Detail

SymbolManager

public SymbolManager(Solver solver)

Method Detail

toString

protected java.lang.String toString(long pointer)

deletePointer

protected void deletePointer(long pointer)

equals

public boolean equals(java.lang.Object s)

Overrides:: equals in class java.lang.Object

isLogicSet
```
public boolean isLogicSet()
```
Returns:

True if the logic of this symbol manager has been set.

getLogic
```
public java.lang.String getLogic()
```
Returns:

The logic used by this symbol manager.

Note:

Asserts isLogicSet().

getPointer
```
public long getPointer()
```

deletePointer
```
public void deletePointer()
```

toString
```
public java.lang.String toString()
```
Overrides:

toString in class java.lang.Object