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

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:
Inheritance graph
[legend]
Collaboration diagram for Rose::BinaryAnalysis::SmtSolver::SExpr:
Collaboration graph
[legend]

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. 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: