dReal4
SetLogicCommand Class Reference
Inheritance diagram for SetLogicCommand:
CommandCell

Public Member Functions

 SetLogicCommand (const Logic logic)
 
Logic get_logic () 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.
 
CommandCelloperator= (const CommandCell &)=delete
 Deleted copy-assignment operator.
 
CommandCelloperator= (CommandCell &&)=delete
 Deleted move-assignment operator.
 
virtual ~CommandCell ()=default
 Default destructor.
 

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