ROSE  0.9.10.6
Rose::BinaryAnalysis::SymbolicExpr::Leaf Member List

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

assert_acyclic() (defined in Rose::BinaryAnalysis::SymbolicExpr::Node)Rose::BinaryAnalysis::SymbolicExpr::Nodeinline
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
bits()Rose::BinaryAnalysis::SymbolicExpr::Leaf
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) ROSE_OVERRIDERose::BinaryAnalysis::SymbolicExpr::Leafvirtual
create_boolean(bool b, std::string comment="", unsigned flags=0) ROSE_DEPRECATED("use createBoolean instead") (defined in Rose::BinaryAnalysis::SymbolicExpr::Leaf)Rose::BinaryAnalysis::SymbolicExpr::Leafinlinestatic
create_constant(const Sawyer::Container::BitVector &bits, std::string comment="", unsigned flags=0) ROSE_DEPRECATED("use createConstant instead") (defined in Rose::BinaryAnalysis::SymbolicExpr::Leaf)Rose::BinaryAnalysis::SymbolicExpr::Leafinlinestatic
create_existing_variable(size_t nbits, uint64_t id, const std::string &comment="", unsigned flags=0) ROSE_DEPRECATED("use createExistingVariable instead") (defined in Rose::BinaryAnalysis::SymbolicExpr::Leaf)Rose::BinaryAnalysis::SymbolicExpr::Leafinlinestatic
create_integer(size_t nbits, uint64_t n, std::string comment="", unsigned flags=0) ROSE_DEPRECATED("use createInteger instead") (defined in Rose::BinaryAnalysis::SymbolicExpr::Leaf)Rose::BinaryAnalysis::SymbolicExpr::Leafinlinestatic
create_memory(size_t addressWidth, size_t valueWidth, std::string comment="", unsigned flags=0) ROSE_DEPRECATED("use createMemory instead") (defined in Rose::BinaryAnalysis::SymbolicExpr::Leaf)Rose::BinaryAnalysis::SymbolicExpr::Leafinlinestatic
create_variable(size_t nbits, std::string comment="", unsigned flags=0) ROSE_DEPRECATED("use createVariable instead") (defined in Rose::BinaryAnalysis::SymbolicExpr::Leaf)Rose::BinaryAnalysis::SymbolicExpr::Leafinlinestatic
createBoolean(bool b, const std::string &comment="", unsigned flags=0)Rose::BinaryAnalysis::SymbolicExpr::Leafinlinestatic
createConstant(const Sawyer::Container::BitVector &bits, const std::string &comment="", unsigned flags=0)Rose::BinaryAnalysis::SymbolicExpr::Leafstatic
createExistingMemory(size_t addressWidth, size_t valueWidth, uint64_t id, const std::string &comment="", unsigned flags=0)Rose::BinaryAnalysis::SymbolicExpr::Leafstatic
createExistingVariable(size_t nbits, uint64_t id, const std::string &comment="", unsigned flags=0)Rose::BinaryAnalysis::SymbolicExpr::Leafstatic
createInteger(size_t nbits, uint64_t n, const std::string &comment="", unsigned flags=0)Rose::BinaryAnalysis::SymbolicExpr::Leafstatic
createMemory(size_t addressWidth, size_t valueWidth, const std::string &comment="", unsigned flags=0)Rose::BinaryAnalysis::SymbolicExpr::Leafstatic
createVariable(size_t nbits, const std::string &comment="", unsigned flags=0)Rose::BinaryAnalysis::SymbolicExpr::Leafstatic
depth_first_traversal(Visitor &v) ROSE_DEPRECATED("use depthFirstTraversal instead") (defined in Rose::BinaryAnalysis::SymbolicExpr::Node)Rose::BinaryAnalysis::SymbolicExpr::Nodeinline
depthFirstTraversal(Visitor &) ROSE_OVERRIDERose::BinaryAnalysis::SymbolicExpr::Leafvirtual
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
get_bits() ROSE_DEPRECATED("use 'bits' property instead") (defined in Rose::BinaryAnalysis::SymbolicExpr::Leaf)Rose::BinaryAnalysis::SymbolicExpr::Leafinline
get_comment() ROSE_DEPRECATED("use 'comment' property instead") (defined in Rose::BinaryAnalysis::SymbolicExpr::Node)Rose::BinaryAnalysis::SymbolicExpr::Nodeinline
get_flags() ROSE_DEPRECATED("use 'flags' property instead") (defined in Rose::BinaryAnalysis::SymbolicExpr::Node)Rose::BinaryAnalysis::SymbolicExpr::Nodeinline
get_name() ROSE_DEPRECATED("use nameId instead") (defined in Rose::BinaryAnalysis::SymbolicExpr::Leaf)Rose::BinaryAnalysis::SymbolicExpr::Leafinline
get_nbits() ROSE_DEPRECATED("use 'nBits' property instead") (defined in Rose::BinaryAnalysis::SymbolicExpr::Node)Rose::BinaryAnalysis::SymbolicExpr::Nodeinline
get_value() ROSE_DEPRECATED("use toInt instead") (defined in Rose::BinaryAnalysis::SymbolicExpr::Node)Rose::BinaryAnalysis::SymbolicExpr::Nodeinline
get_variables() ROSE_DEPRECATED("use getVariables instead") (defined in Rose::BinaryAnalysis::SymbolicExpr::Node)Rose::BinaryAnalysis::SymbolicExpr::Nodeinline
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
is_hashed() ROSE_DEPRECATED("use isHashed instead") (defined in Rose::BinaryAnalysis::SymbolicExpr::Node)Rose::BinaryAnalysis::SymbolicExpr::Nodeinline
is_known() ROSE_DEPRECATED("use isNumber instead") (defined in Rose::BinaryAnalysis::SymbolicExpr::Node)Rose::BinaryAnalysis::SymbolicExpr::Nodeinline
is_memory() ROSE_DEPRECATED("use isMemory instead") (defined in Rose::BinaryAnalysis::SymbolicExpr::Leaf)Rose::BinaryAnalysis::SymbolicExpr::Leafinline
is_variable() ROSE_DEPRECATED("use isVariable instead") (defined in Rose::BinaryAnalysis::SymbolicExpr::Leaf)Rose::BinaryAnalysis::SymbolicExpr::Leafinline
isEquivalentTo(const Ptr &other) ROSE_OVERRIDERose::BinaryAnalysis::SymbolicExpr::Leafvirtual
isHashed()Rose::BinaryAnalysis::SymbolicExpr::Nodeinline
isInteriorNode()Rose::BinaryAnalysis::SymbolicExpr::Nodeinline
isInternalNode() ROSE_DEPRECATED("use isInteriorNode instead") (defined in Rose::BinaryAnalysis::SymbolicExpr::Node)Rose::BinaryAnalysis::SymbolicExpr::Nodeinline
isLeafNode()Rose::BinaryAnalysis::SymbolicExpr::Nodeinline
isMemory()Rose::BinaryAnalysis::SymbolicExpr::Leafvirtual
isNumber() ROSE_OVERRIDERose::BinaryAnalysis::SymbolicExpr::Leafvirtual
isOperator(Operator)Rose::BinaryAnalysis::SymbolicExpr::Node
isScalar()Rose::BinaryAnalysis::SymbolicExpr::Nodeinline
isVariable()Rose::BinaryAnalysis::SymbolicExpr::Leafvirtual
matchAddVariableConstant(LeafPtr &variable, LeafPtr &constant)Rose::BinaryAnalysis::SymbolicExpr::Node
mayEqual(const Ptr &other, const SmtSolverPtr &solver=SmtSolverPtr()) ROSE_OVERRIDERose::BinaryAnalysis::SymbolicExpr::Leafvirtual
mayEqualCallbackRose::BinaryAnalysis::SymbolicExpr::Nodestatic
mustEqual(const Ptr &other, const SmtSolverPtr &solver=SmtSolverPtr()) ROSE_OVERRIDERose::BinaryAnalysis::SymbolicExpr::Leafvirtual
nameId()Rose::BinaryAnalysis::SymbolicExpr::Leaf
nAttributes() constSawyer::Attribute::Storage<>inline
nBits()Rose::BinaryAnalysis::SymbolicExpr::Nodeinline
nBits_Rose::BinaryAnalysis::SymbolicExpr::Nodeprotected
newFlags(unsigned flags)Rose::BinaryAnalysis::SymbolicExpr::Node
nnodes() ROSE_DEPRECATED("use nNodes() instead") (defined in Rose::BinaryAnalysis::SymbolicExpr::Node)Rose::BinaryAnalysis::SymbolicExpr::Nodeinline
nNodes() ROSE_OVERRIDERose::BinaryAnalysis::SymbolicExpr::Leafinlinevirtual
nnodesUnique() ROSE_DEPRECATED("use nNodesUnique instead") (defined in Rose::BinaryAnalysis::SymbolicExpr::Node)Rose::BinaryAnalysis::SymbolicExpr::Nodeinline
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 &) ROSE_OVERRIDERose::BinaryAnalysis::SymbolicExpr::Leafvirtual
Rose::BinaryAnalysis::SymbolicExpr::Node::print(std::ostream &o)Rose::BinaryAnalysis::SymbolicExpr::Nodeinline
print_as_signed(std::ostream &stream, Formatter &formatter, bool as_signed=true) ROSE_DEPRECATED("use printAsSigned instead") (defined in Rose::BinaryAnalysis::SymbolicExpr::Leaf)Rose::BinaryAnalysis::SymbolicExpr::Leafinline
print_as_unsigned(std::ostream &o, Formatter &f) ROSE_DEPRECATED("use printAsUnsigned instead") (defined in Rose::BinaryAnalysis::SymbolicExpr::Leaf)Rose::BinaryAnalysis::SymbolicExpr::Leafinline
printAsSigned(std::ostream &, Formatter &, bool asSigned=true)Rose::BinaryAnalysis::SymbolicExpr::Leaf
printAsUnsigned(std::ostream &o, Formatter &f)Rose::BinaryAnalysis::SymbolicExpr::Leafinline
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
set_comment(const std::string &s) ROSE_DEPRECATED("use 'comment' property instead") (defined in Rose::BinaryAnalysis::SymbolicExpr::Node)Rose::BinaryAnalysis::SymbolicExpr::Nodeinline
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()) ROSE_OVERRIDERose::BinaryAnalysis::SymbolicExpr::Leafvirtual
substituteMultiple(const ExprExprHashMap &substitutions, const SmtSolverPtr &solver=SmtSolverPtr())Rose::BinaryAnalysis::SymbolicExpr::Node
Sync typedef (defined in Sawyer::Attribute::Storage<>)Sawyer::Attribute::Storage<>
toInt() ROSE_OVERRIDERose::BinaryAnalysis::SymbolicExpr::Leafvirtual
toString()Rose::BinaryAnalysis::SymbolicExpr::Leaf
UNSPECIFIEDRose::BinaryAnalysis::SymbolicExpr::Nodestatic
userData(boost::any &data)Rose::BinaryAnalysis::SymbolicExpr::Nodeinline
userData()Rose::BinaryAnalysis::SymbolicExpr::Nodeinline
userData_Rose::BinaryAnalysis::SymbolicExpr::Nodeprotected
with_format(Formatter &fmt) ROSE_DEPRECATED("use withFormat instead") (defined in Rose::BinaryAnalysis::SymbolicExpr::Node)Rose::BinaryAnalysis::SymbolicExpr::Nodeinline
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