Command 

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

class cvc5. Command 

Encapsulation of a command.

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

Wrapper class for the C++ class cvc5::parser::Command .

getCommandName ( ) 

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

Returns :

The name of this command.

invoke ( ) 

Invoke the command on the solver and symbol manager, and returns the result.

Parameters :

• solver – The solver to invoke the command on.

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

Returns :

A string representation of the result.

isNull ( ) 

Returns :

True if this command is null.

toString ( ) 

Returns :

A string representation of this result.