dReal4
SetInfoCommand Class Reference

"set-info" command. More...

#include </home/soonhokong/work/dreal4/dreal/smt2/command_cell.h>

Inheritance diagram for SetInfoCommand:
CommandCell

Public Member Functions

 SetInfoCommand (std::string key, std::string value)
 
const std::string & get_key () const
 
const std::string & get_value () 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.
 
CommandCelloperator= (const CommandCell &)=delete
 Deleted copy-assignment operator.
 
CommandCelloperator= (CommandCell &&)=delete
 Deleted move-assignment operator.
 
virtual ~CommandCell ()=default
 Default destructor.
 

Detailed Description

"set-info" command.


The documentation for this class was generated from the following files: