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
-
Command()