"assert" command. More...

Inheritance diagram for AssertCommand:

Public Member Functions
	AssertCommand (Formula f)

const Formula &	get_assertion () const

std::ostream &	Display (std::ostream &os) const override
	Output its string representation to `os`.

Public Member Functions inherited from CommandCell
	CommandCell ()=default
	Default constructor.

	CommandCell (const CommandCell &)=delete
	Deleted copy-constructor.

	CommandCell (CommandCell &&)=default
	Deleted move-constructor.

CommandCell &	operator= (const CommandCell &)=delete
	Deleted copy-assignment operator.

CommandCell &	operator= (CommandCell &&)=delete
	Deleted move-assignment operator.

virtual	~CommandCell ()=default
	Default destructor.

Detailed Description

"assert" command.

The documentation for this class was generated from the following files:

Public Member Functions