|
dReal4
|
"get-info" command. More...
#include </home/soonhokong/work/dreal4/dreal/smt2/command_cell.h>
Public Member Functions | |
| std::string | get_key () 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. | |
"get-info" command.