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