Command

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

public class Command
extends java.lang.Object

Field Summary

Fields
Modifier and Type Field Description

protected long pointer

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`void`	`deletePointer()`
`protected void`	`deletePointer(long pointer)`
`java.lang.String`	`getCommandName()`	Get the name for this command, e.g.
`long`	`getPointer()`
`java.lang.String`	`invoke(Solver solver, SymbolManager symbolManager)`	Invoke the command on the solver and symbol manager sm and return any resulting output as a string.
`boolean`	`isNull()`
`java.lang.String`	`toString()`
`protected java.lang.String`	`toString(long pointer)`

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

- Field Detail
  - pointer
```
protected long pointer
```
- Method Detail
  - deletePointer
```
protected void deletePointer(long pointer)
```
  - invoke
```
public java.lang.String invoke(Solver solver,
                               SymbolManager symbolManager)
```
    Invoke the command on the solver and symbol manager sm and return any resulting output as a string.
    
    Parameters:
    
    solver - The solver to invoke the command on.
    
    symbolManager - The symbol manager to invoke the command on.
    
    Returns:
    
    The output of invoking the command.
  - toString
```
protected java.lang.String toString(long pointer)
```
    Returns:
    
    A string representation of this result.
  - getCommandName
```
public java.lang.String getCommandName()
```
    Get the name for this command, e.g. "assert".
    
    Returns:
    
    The name of this command.
  - isNull
```
public boolean isNull()
```
    Returns:
    
    True if this command is null.
  - getPointer
```
public long getPointer()
```
  - deletePointer
```
public void deletePointer()
```
  - toString
```
public java.lang.String toString()
```
    Overrides:
    
    toString in class java.lang.Object