"get-unsat-assumptions" command. More...

Inheritance diagram for GetUnsatAssumptionsCommand:

Public Member Functions
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

"get-unsat-assumptions" command.

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

Public Member Functions