ROSE 0.11.145.147
Rose::BinaryAnalysis::SymbolicExpression::Node Member List

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

assertAcyclic() constRose::BinaryAnalysis::SymbolicExpression::Node
attributeExists(Id id) constSawyer::Attribute::Storage< SyncTag >inline
attributeIds() constSawyer::Attribute::Storage< SyncTag >inline
attributeOrDefault(Id id) constSawyer::Attribute::Storage< SyncTag >inline
attributeOrElse(Id id, const T &dflt) constSawyer::Attribute::Storage< SyncTag >inline
BOTTOMRose::BinaryAnalysis::SymbolicExpression::Nodestatic
child(size_t idx) const =0Rose::BinaryAnalysis::SymbolicExpression::Nodepure virtual
childRaw(size_t idx) const =0Rose::BinaryAnalysis::SymbolicExpression::Nodepure virtual
children() const =0Rose::BinaryAnalysis::SymbolicExpression::Nodepure virtual
clearAttributes()Sawyer::Attribute::Storage< SyncTag >inline
comment() constRose::BinaryAnalysis::SymbolicExpression::Nodeinline
comment(const std::string &s)Rose::BinaryAnalysis::SymbolicExpression::Nodeinline
comment_Rose::BinaryAnalysis::SymbolicExpression::Nodeprotected
compareStructure(const Ptr &other)=0Rose::BinaryAnalysis::SymbolicExpression::Nodepure virtual
depthFirstTraversal(Visitor &) const =0Rose::BinaryAnalysis::SymbolicExpression::Nodepure virtual
domainWidth() constRose::BinaryAnalysis::SymbolicExpression::Nodeinline
EquivPairs typedef (defined in Rose::BinaryAnalysis::SymbolicExpression::Node)Rose::BinaryAnalysis::SymbolicExpression::Node
eraseAttribute(Id id)Sawyer::Attribute::Storage< SyncTag >inline
findCommonSubexpressions() constRose::BinaryAnalysis::SymbolicExpression::Node
flags() constRose::BinaryAnalysis::SymbolicExpression::Nodeinline
flags_Rose::BinaryAnalysis::SymbolicExpression::Nodeprotected
getAttribute(Id id) constSawyer::Attribute::Storage< SyncTag >inline
getOperator() const =0Rose::BinaryAnalysis::SymbolicExpression::Nodepure virtual
getVariables() constRose::BinaryAnalysis::SymbolicExpression::Node
hash() constRose::BinaryAnalysis::SymbolicExpression::Node
hash(Hash) const (defined in Rose::BinaryAnalysis::SymbolicExpression::Node)Rose::BinaryAnalysis::SymbolicExpression::Node
hashval_Rose::BinaryAnalysis::SymbolicExpression::Nodemutableprotected
INDETERMINATERose::BinaryAnalysis::SymbolicExpression::Nodestatic
isConstant() const =0Rose::BinaryAnalysis::SymbolicExpression::Nodepure virtual
isEquivalentHelper(Node *, EquivPairs &)=0 (defined in Rose::BinaryAnalysis::SymbolicExpression::Node)Rose::BinaryAnalysis::SymbolicExpression::Nodepure virtual
isEquivalentTo(const Ptr &other)=0Rose::BinaryAnalysis::SymbolicExpression::Nodepure virtual
isFloatingPointConstant() constRose::BinaryAnalysis::SymbolicExpression::Nodeinline
isFloatingPointExpr() constRose::BinaryAnalysis::SymbolicExpression::Nodeinline
isFloatingPointNan() constRose::BinaryAnalysis::SymbolicExpression::Node
isFloatingPointVariable() constRose::BinaryAnalysis::SymbolicExpression::Nodeinline
isHashed() constRose::BinaryAnalysis::SymbolicExpression::Nodeinline
isIntegerConstant() constRose::BinaryAnalysis::SymbolicExpression::Nodeinline
isIntegerExpr() constRose::BinaryAnalysis::SymbolicExpression::Nodeinline
isIntegerVariable() constRose::BinaryAnalysis::SymbolicExpression::Nodeinline
isInteriorNode() constRose::BinaryAnalysis::SymbolicExpression::Node
isInteriorNodeRaw() constRose::BinaryAnalysis::SymbolicExpression::Node
isLeafNode() constRose::BinaryAnalysis::SymbolicExpression::Node
isLeafNodeRaw() constRose::BinaryAnalysis::SymbolicExpression::Node
isMemoryExpr() constRose::BinaryAnalysis::SymbolicExpression::Nodeinline
isMemoryVariable() constRose::BinaryAnalysis::SymbolicExpression::Nodeinline
isOperator(Operator) constRose::BinaryAnalysis::SymbolicExpression::Node
isScalar() constRose::BinaryAnalysis::SymbolicExpression::Nodeinline
isScalarConstant() constRose::BinaryAnalysis::SymbolicExpression::Nodeinline
isScalarExpr() constRose::BinaryAnalysis::SymbolicExpression::Nodeinline
isScalarVariable() constRose::BinaryAnalysis::SymbolicExpression::Nodeinline
isVariable2() const =0Rose::BinaryAnalysis::SymbolicExpression::Nodepure virtual
matchAddVariableConstant(LeafPtr &variable, LeafPtr &constant) constRose::BinaryAnalysis::SymbolicExpression::Node
mayEqual(const Ptr &other, const SmtSolverPtr &solver=SmtSolverPtr())=0Rose::BinaryAnalysis::SymbolicExpression::Nodepure virtual
mayEqualCallbackRose::BinaryAnalysis::SymbolicExpression::Nodestatic
mustEqual(const Ptr &other, const SmtSolverPtr &solver=SmtSolverPtr())=0Rose::BinaryAnalysis::SymbolicExpression::Nodepure virtual
nAttributes() constSawyer::Attribute::Storage< SyncTag >inline
nBits() constRose::BinaryAnalysis::SymbolicExpression::Nodeinline
nChildren() const =0Rose::BinaryAnalysis::SymbolicExpression::Nodepure virtual
newFlags(unsigned flags) constRose::BinaryAnalysis::SymbolicExpression::Node
nNodes() const =0Rose::BinaryAnalysis::SymbolicExpression::Nodepure virtual
nNodesUnique() constRose::BinaryAnalysis::SymbolicExpression::Node
Node() (defined in Rose::BinaryAnalysis::SymbolicExpression::Node)Rose::BinaryAnalysis::SymbolicExpression::Nodeinlineprotected
Node(const std::string &comment, unsigned flags=0) (defined in Rose::BinaryAnalysis::SymbolicExpression::Node)Rose::BinaryAnalysis::SymbolicExpression::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::SymbolicExpression::Nodeinline
Sawyer::operator=(const SharedObject &)Sawyer::SharedObjectinline
Sawyer::Attribute::Storage::operator=(const Storage &other)Sawyer::Attribute::Storage< SyncTag >inline
optionalAttribute(Id id) constSawyer::Attribute::Storage< SyncTag >inline
poolAllocator()Sawyer::SmallObjectinlinestatic
print(std::ostream &, Formatter &) const =0Rose::BinaryAnalysis::SymbolicExpression::Nodepure virtual
print(std::ostream &o) constRose::BinaryAnalysis::SymbolicExpression::Nodeinline
printFlags(std::ostream &o, unsigned flags, char &bracket) const (defined in Rose::BinaryAnalysis::SymbolicExpression::Node)Rose::BinaryAnalysis::SymbolicExpression::Nodeprotected
renameVariables(ExprExprHashMap &index, size_t &nextVariableId, const SmtSolverPtr &solver=SmtSolverPtr())Rose::BinaryAnalysis::SymbolicExpression::Node
RESERVED_FLAGSRose::BinaryAnalysis::SymbolicExpression::Nodestatic
setAttribute(Id id, const T &value)Sawyer::Attribute::Storage< SyncTag >inline
setAttributeMaybe(Id id, const T &value)Sawyer::Attribute::Storage< SyncTag >inline
sharedFromThis()Sawyer::SharedFromThis< Node >inline
sharedFromThis() constSawyer::SharedFromThis< Node >inline
SharedObject()Sawyer::SharedObjectinline
SharedObject(const SharedObject &)Sawyer::SharedObjectinline
Storage()Sawyer::Attribute::Storage< SyncTag >inline
Storage(const Storage &other)Sawyer::Attribute::Storage< SyncTag >inline
substitute(const Ptr &from, const Ptr &to, const SmtSolverPtr &solver=SmtSolverPtr())=0Rose::BinaryAnalysis::SymbolicExpression::Nodepure virtual
substituteMultiple(const ExprExprHashMap &substitutions, const SmtSolverPtr &solver=SmtSolverPtr())Rose::BinaryAnalysis::SymbolicExpression::Node
Sync typedef (defined in Sawyer::Attribute::Storage< SyncTag >)Sawyer::Attribute::Storage< SyncTag >
toSigned() const =0Rose::BinaryAnalysis::SymbolicExpression::Nodepure virtual
toString() constRose::BinaryAnalysis::SymbolicExpression::Node
toUnsigned() const =0Rose::BinaryAnalysis::SymbolicExpression::Nodepure virtual
type() constRose::BinaryAnalysis::SymbolicExpression::Nodeinline
type_ (defined in Rose::BinaryAnalysis::SymbolicExpression::Node)Rose::BinaryAnalysis::SymbolicExpression::Nodeprotected
UNSPECIFIEDRose::BinaryAnalysis::SymbolicExpression::Nodestatic
userData(boost::any &data)Rose::BinaryAnalysis::SymbolicExpression::Nodeinline
userData() constRose::BinaryAnalysis::SymbolicExpression::Nodeinline
userData_Rose::BinaryAnalysis::SymbolicExpression::Nodeprotected
variableId() constRose::BinaryAnalysis::SymbolicExpression::Node
withFormat(Formatter &fmt)Rose::BinaryAnalysis::SymbolicExpression::Nodeinline
~Node() (defined in Rose::BinaryAnalysis::SymbolicExpression::Node)Rose::BinaryAnalysis::SymbolicExpression::Nodeinlinevirtual
~SharedObject()Sawyer::SharedObjectinlinevirtual
~Storage() (defined in Sawyer::Attribute::Storage< SyncTag >)Sawyer::Attribute::Storage< SyncTag >inline