Public Types | Public Member Functions | Static Public Member Functions | List of all members
Rose::BinaryAnalysis::SmtSolver::SExpr Class Reference


S-Expr parsed from SMT solver text output.

Definition at line 78 of file BinarySmtSolver.h.

#include <BinarySmtSolver.h>

Inheritance diagram for Rose::BinaryAnalysis::SmtSolver::SExpr:
Inheritance graph
Collaboration diagram for Rose::BinaryAnalysis::SmtSolver::SExpr:
Collaboration graph

Public Types

typedef Sawyer::SharedPointer< SExprPtr

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. More...
 SharedObject (const SharedObject &)
 Copy constructor. More...
virtual ~SharedObject ()
 Virtual destructor. More...
SharedObjectoperator= (const SharedObject &)
 Assignment. More...

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 SynchronizedPoolAllocatorpoolAllocator ()
 Return the pool allocator for this class. More...
static void * operator new (size_t size)
static void operator delete (void *ptr, size_t size)

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