Description
S-Expr parsed from SMT solver text output.
Definition at line 183 of file SmtSolver.h.
#include <Rose/BinaryAnalysis/SmtSolver.h>
Inheritance diagram for Rose::BinaryAnalysis::SmtSolver::SExpr:
Collaboration diagram for Rose::BinaryAnalysis::SmtSolver::SExpr:
Public Types | |
| using | Ptr = Sawyer::SharedPointer< SExpr > |
Public Member Functions | |
| const std::string | name () const |
| const std::vector< Ptr > & | children () const |
| std::vector< Ptr > & | children () |
| void | append (const std::vector< Ptr > &) |
| void | print (std::ostream &) const |
 Public Member Functions inherited from Sawyer::SharedObject | |
| SharedObject () | |
| Default constructor. | |
| SharedObject (const SharedObject &) | |
| Copy constructor. | |
| virtual | ~SharedObject () |
| Virtual destructor. | |
| SharedObject & | operator= (const SharedObject &) |
| Assignment. | |
Static Public Member Functions | |
| static Ptr | instance (const std::string &content) |
| static Ptr | instance (size_t) |
| static Ptr | instance (const Ptr &a=Ptr(), const Ptr &b=Ptr(), const Ptr &c=Ptr(), const Ptr &d=Ptr()) |
| Static Public Member Functions inherited from Sawyer::SmallObject | |
| static SynchronizedPoolAllocator & | poolAllocator () |
| Return the pool allocator for this class. | |
| static void * | operator new (size_t size) |
| static void | operator delete (void *ptr, size_t size) |
Member Typedef Documentation
◆ Ptr
Definition at line 185 of file SmtSolver.h.
Member Function Documentation
◆ name()
|
inline |
Definition at line 195 of file SmtSolver.h.
◆ children() [1/2]
|
inline |
Definition at line 196 of file SmtSolver.h.
◆ children() [2/2]
|
inline |
Definition at line 197 of file SmtSolver.h.
The documentation for this class was generated from the following file:
