ROSE  0.9.11.56
Rose::BinaryAnalysis::SymbolicExpr::Node Member List

This is the complete list of members for Rose::BinaryAnalysis::SymbolicExpr::Node, including all inherited members.

assertAcyclic()Rose::BinaryAnalysis::SymbolicExpr::Node
attributeExists(Id id) constSawyer::Attribute::Storage<>inline
attributeIds() constSawyer::Attribute::Storage<>inline
attributeOrDefault(Id id) constSawyer::Attribute::Storage<>inline
attributeOrElse(Id id, const T &dflt) constSawyer::Attribute::Storage<>inline
BOTTOMRose::BinaryAnalysis::SymbolicExpr::Nodestatic
clearAttributes()Sawyer::Attribute::Storage<>inline
comment()Rose::BinaryAnalysis::SymbolicExpr::Nodeinline
comment(const std::string &s)Rose::BinaryAnalysis::SymbolicExpr::Nodeinline
comment_Rose::BinaryAnalysis::SymbolicExpr::Nodeprotected
compareStructure(const Ptr &other)=0Rose::BinaryAnalysis::SymbolicExpr::Nodepure virtual
depthFirstTraversal(Visitor &)=0Rose::BinaryAnalysis::SymbolicExpr::Nodepure virtual
domainWidth()Rose::BinaryAnalysis::SymbolicExpr::Nodeinline
domainWidth_Rose::BinaryAnalysis::SymbolicExpr::Nodeprotected
eraseAttribute(Id id)Sawyer::Attribute::Storage<>inline
findCommonSubexpressions()Rose::BinaryAnalysis::SymbolicExpr::Node
flags()Rose::BinaryAnalysis::SymbolicExpr::Nodeinline
flags_Rose::BinaryAnalysis::SymbolicExpr::Nodeprotected
getAttribute(Id id) constSawyer::Attribute::Storage<>inline
getVariables()Rose::BinaryAnalysis::SymbolicExpr::Node
hash()Rose::BinaryAnalysis::SymbolicExpr::Node
hash(Hash) (defined in Rose::BinaryAnalysis::SymbolicExpr::Node)Rose::BinaryAnalysis::SymbolicExpr::Node
hashval_Rose::BinaryAnalysis::SymbolicExpr::Nodeprotected
INDETERMINATERose::BinaryAnalysis::SymbolicExpr::Nodestatic
isEquivalentTo(const Ptr &other)=0Rose::BinaryAnalysis::SymbolicExpr::Nodepure virtual
isHashed()Rose::BinaryAnalysis::SymbolicExpr::Nodeinline
isInteriorNode()Rose::BinaryAnalysis::SymbolicExpr::Nodeinline
isLeafNode()Rose::BinaryAnalysis::SymbolicExpr::Nodeinline
isNumber()=0Rose::BinaryAnalysis::SymbolicExpr::Nodepure virtual
isOperator(Operator)Rose::BinaryAnalysis::SymbolicExpr::Node
isScalar()Rose::BinaryAnalysis::SymbolicExpr::Nodeinline
matchAddVariableConstant(LeafPtr &variable, LeafPtr &constant)Rose::BinaryAnalysis::SymbolicExpr::Node
mayEqual(const Ptr &other, const SmtSolverPtr &solver=SmtSolverPtr())=0Rose::BinaryAnalysis::SymbolicExpr::Nodepure virtual
mayEqualCallbackRose::BinaryAnalysis::SymbolicExpr::Nodestatic
mustEqual(const Ptr &other, const SmtSolverPtr &solver=SmtSolverPtr())=0Rose::BinaryAnalysis::SymbolicExpr::Nodepure virtual
nAttributes() constSawyer::Attribute::Storage<>inline
nBits()Rose::BinaryAnalysis::SymbolicExpr::Nodeinline
nBits_Rose::BinaryAnalysis::SymbolicExpr::Nodeprotected
newFlags(unsigned flags)Rose::BinaryAnalysis::SymbolicExpr::Node
nNodes()=0Rose::BinaryAnalysis::SymbolicExpr::Nodepure virtual
nNodesUnique()Rose::BinaryAnalysis::SymbolicExpr::Node
Node() (defined in Rose::BinaryAnalysis::SymbolicExpr::Node)Rose::BinaryAnalysis::SymbolicExpr::Nodeinlineprotected
Node(const std::string &comment, unsigned flags=0) (defined in Rose::BinaryAnalysis::SymbolicExpr::Node)Rose::BinaryAnalysis::SymbolicExpr::Nodeinlineexplicitprotected
operator delete(void *ptr, size_t size) (defined in Sawyer::SmallObject)Sawyer::SmallObjectinlinestatic
operator new(size_t size) (defined in Sawyer::SmallObject)Sawyer::SmallObjectinlinestatic
operator+(Formatter &fmt)Rose::BinaryAnalysis::SymbolicExpr::Nodeinline
Sawyer::operator=(const SharedObject &)Sawyer::SharedObjectinline
Storage<>::operator=(const Storage &other)Sawyer::Attribute::Storage<>inline
optionalAttribute(Id id) constSawyer::Attribute::Storage<>inline
poolAllocator()Sawyer::SmallObjectinlinestatic
print(std::ostream &, Formatter &)=0Rose::BinaryAnalysis::SymbolicExpr::Nodepure virtual
print(std::ostream &o)Rose::BinaryAnalysis::SymbolicExpr::Nodeinline
printFlags(std::ostream &o, unsigned flags, char &bracket) (defined in Rose::BinaryAnalysis::SymbolicExpr::Node)Rose::BinaryAnalysis::SymbolicExpr::Nodeprotected
renameVariables(ExprExprHashMap &index, size_t &nextVariableId, const SmtSolverPtr &solver=SmtSolverPtr())Rose::BinaryAnalysis::SymbolicExpr::Node
RESERVED_FLAGSRose::BinaryAnalysis::SymbolicExpr::Nodestatic
setAttribute(Id id, const T &value)Sawyer::Attribute::Storage<>inline
setAttributeMaybe(Id id, const T &value)Sawyer::Attribute::Storage<>inline
sharedFromThis()Sawyer::SharedFromThis< Node >inline
sharedFromThis() constSawyer::SharedFromThis< Node >inline
SharedObject()Sawyer::SharedObjectinline
SharedObject(const SharedObject &)Sawyer::SharedObjectinline
Storage()Sawyer::Attribute::Storage<>inline
Storage(const Storage &other)Sawyer::Attribute::Storage<>inline
substitute(const Ptr &from, const Ptr &to, const SmtSolverPtr &solver=SmtSolverPtr())=0Rose::BinaryAnalysis::SymbolicExpr::Nodepure virtual
substituteMultiple(const ExprExprHashMap &substitutions, const SmtSolverPtr &solver=SmtSolverPtr())Rose::BinaryAnalysis::SymbolicExpr::Node
Sync typedef (defined in Sawyer::Attribute::Storage<>)Sawyer::Attribute::Storage<>
toInt()=0Rose::BinaryAnalysis::SymbolicExpr::Nodepure virtual
UNSPECIFIEDRose::BinaryAnalysis::SymbolicExpr::Nodestatic
userData(boost::any &data)Rose::BinaryAnalysis::SymbolicExpr::Nodeinline
userData()Rose::BinaryAnalysis::SymbolicExpr::Nodeinline
userData_Rose::BinaryAnalysis::SymbolicExpr::Nodeprotected
withFormat(Formatter &fmt)Rose::BinaryAnalysis::SymbolicExpr::Nodeinline
~SharedFromThis() (defined in Sawyer::SharedFromThis< Node >)Sawyer::SharedFromThis< Node >inlinevirtual
~SharedObject()Sawyer::SharedObjectinlinevirtual
~Storage() (defined in Sawyer::Attribute::Storage<>)Sawyer::Attribute::Storage<>inline