io.github.cvc5

Class Command

java.lang.Object

io.github.cvc5.Command

public class Command
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
protected long	pointer

Method Summary

Modifier and Type	Method and 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