dReal4
SetOptionCommand Class Reference
Inheritance diagram for SetOptionCommand:
CommandCell

Public Member Functions

 SetOptionCommand (std::string key, std::string value)
 
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: