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
Returns :

A string representation of this result.

std :: string getCommandName ( ) const

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

Returns :

The name of this command.

bool isNull ( ) const
Returns :

True if this command is null.

Friends

friend class main::CommandExecutor
friend class internal::InteractiveShell
friend class main::ExecutionContext