Command Class Reference

Command class in smt2lib. More...

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

Public Member Functions
	Command (std::shared_ptr< CommandCell > ptr)

Friends
std::ostream &	operator<< (std::ostream &os, const Command &c)

Detailed Description

Command class in smt2lib.

It only includes a shared_ptr to CommandCell.

---

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

• /home/soonhokong/work/dreal4/dreal/smt2/command.h