CommandCell Class Referenceabstract
CommandCell class. More...
#include </home/soonhokong/work/dreal4/dreal/smt2/command_cell.h>
Inheritance diagram for CommandCell:
Public Member Functions | |
| 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. | |
| virtual std::ostream & | Display (std::ostream &os) const =0 |
Output its string representation to os. | |
Detailed Description
CommandCell class.
It is the abstract base class of the classes representing smt2lib commands.
The documentation for this class was generated from the following file:
- /home/soonhokong/work/dreal4/dreal/smt2/command_cell.h
