dReal4
|
"get-model" command. More...
#include </home/soonhokong/work/dreal4/dreal/smt2/command_cell.h>
Public Member Functions | |
std::ostream & | Display (std::ostream &os) const override |
Output its string representation to os . | |
![]() | |
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. | |
"get-model" command.