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