Command

Encapsulation of a command. Commands are constructed by the input parser and can be invoked on the solver and symbol manager.

class Command

Encapsulation of a command.

Commands are constructed by the input parser and can be invoked on the solver and symbol manager.

Public Functions

Command()

void invoke(cvc5::Solver *solver, parser::SymbolManager *sm, std::ostream &out)

Invoke the command on the solver and symbol manager sm, prints the result to output stream out.

Parameters:

• solver – The solver to invoke the command on.

• sm – The symbol manager to invoke the command on.

• out – The output stream to write the result of the command on.

std::string toString() const

Get a string representation of this command.

Returns:

The string representation.

std::string getCommandName() const

Get the name for this command, e.g., “assert”.

Returns:

The name of this command.

bool isNull() const

Determine if this command is null.

Returns:

True if this command is null.

Friends

friend class main::CommandExecutor

friend class internal::InteractiveShell

friend class main::ExecutionContext