ROSE  0.11.2.0
Rose::BinaryAnalysis::SymbolicExpr::Interior Member List

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

addChild(const Ptr &child)Rose::BinaryAnalysis::SymbolicExpr::Interiorprotected
additiveNesting(const SmtSolverPtr &solver=SmtSolverPtr())Rose::BinaryAnalysis::SymbolicExpr::Interior
adjustBitFlags(unsigned extraFlags)Rose::BinaryAnalysis::SymbolicExpr::Interiorprotected
adjustWidth(const Type &)Rose::BinaryAnalysis::SymbolicExpr::Interiorprotected
assertAcyclic() const Rose::BinaryAnalysis::SymbolicExpr::Node
associative()Rose::BinaryAnalysis::SymbolicExpr::Interior
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
child(size_t idx) const ROSE_OVERRIDERose::BinaryAnalysis::SymbolicExpr::Interiorinlinevirtual
children() const ROSE_OVERRIDERose::BinaryAnalysis::SymbolicExpr::Interiorinlinevirtual
clearAttributes()Sawyer::Attribute::Storage<>inline
comment() const Rose::BinaryAnalysis::SymbolicExpr::Nodeinline
comment(const std::string &s)Rose::BinaryAnalysis::SymbolicExpr::Nodeinline
comment_Rose::BinaryAnalysis::SymbolicExpr::Nodeprotected
commutative()Rose::BinaryAnalysis::SymbolicExpr::Interior
compareStructure(const Ptr &other) ROSE_OVERRIDERose::BinaryAnalysis::SymbolicExpr::Interiorvirtual
create(size_t nbits, Operator op, const Ptr &a, const SmtSolverPtr &solver=SmtSolverPtr(), const std::string &comment="", unsigned flags=0) ROSE_DEPRECATED("use instance instead") (defined in Rose::BinaryAnalysis::SymbolicExpr::Interior)Rose::BinaryAnalysis::SymbolicExpr::Interiorstatic
create(size_t nbits, Operator op, const Ptr &a, const Ptr &b, const SmtSolverPtr &solver=SmtSolverPtr(), const std::string &comment="", unsigned flags=0) ROSE_DEPRECATED("use instance instead") (defined in Rose::BinaryAnalysis::SymbolicExpr::Interior)Rose::BinaryAnalysis::SymbolicExpr::Interiorstatic
create(size_t nbits, Operator op, const Ptr &a, const Ptr &b, const Ptr &c, const SmtSolverPtr &solver=SmtSolverPtr(), const std::string &comment="", unsigned flags=0) ROSE_DEPRECATED("use instance instead") (defined in Rose::BinaryAnalysis::SymbolicExpr::Interior)Rose::BinaryAnalysis::SymbolicExpr::Interiorstatic
create(size_t nbits, Operator op, const Nodes &children, const SmtSolverPtr &solver=SmtSolverPtr(), const std::string &comment="", unsigned flags=0) ROSE_DEPRECATED("use instance instead") (defined in Rose::BinaryAnalysis::SymbolicExpr::Interior)Rose::BinaryAnalysis::SymbolicExpr::Interiorstatic
depthFirstTraversal(Visitor &) const ROSE_OVERRIDERose::BinaryAnalysis::SymbolicExpr::Interiorvirtual
domainWidth() const Rose::BinaryAnalysis::SymbolicExpr::Nodeinline
eraseAttribute(Id id)Sawyer::Attribute::Storage<>inline
findCommonSubexpressions() const Rose::BinaryAnalysis::SymbolicExpr::Node
flags() const Rose::BinaryAnalysis::SymbolicExpr::Nodeinline
flags_Rose::BinaryAnalysis::SymbolicExpr::Nodeprotected
foldConstants(const Simplifier &)Rose::BinaryAnalysis::SymbolicExpr::Interior
getAttribute(Id id) constSawyer::Attribute::Storage<>inline
getOperator() const ROSE_OVERRIDERose::BinaryAnalysis::SymbolicExpr::Interiorinlinevirtual
getVariables() const Rose::BinaryAnalysis::SymbolicExpr::Node
hash() const Rose::BinaryAnalysis::SymbolicExpr::Node
hash(Hash) (defined in Rose::BinaryAnalysis::SymbolicExpr::Node)Rose::BinaryAnalysis::SymbolicExpr::Node
hashval_Rose::BinaryAnalysis::SymbolicExpr::Nodeprotected
idempotent(const SmtSolverPtr &solver=SmtSolverPtr())Rose::BinaryAnalysis::SymbolicExpr::Interior
identity(uint64_t ident, const SmtSolverPtr &solver=SmtSolverPtr())Rose::BinaryAnalysis::SymbolicExpr::Interior
INDETERMINATERose::BinaryAnalysis::SymbolicExpr::Nodestatic
instance(Operator op, const Ptr &a, const SmtSolverPtr &solver=SmtSolverPtr(), const std::string &comment="", unsigned flags=0)Rose::BinaryAnalysis::SymbolicExpr::Interiorstatic
instance(const Type &type, Operator op, const Ptr &a, const SmtSolverPtr &solver=SmtSolverPtr(), const std::string &comment="", unsigned flags=0)Rose::BinaryAnalysis::SymbolicExpr::Interiorstatic
instance(Operator op, const Ptr &a, const Ptr &b, const SmtSolverPtr &solver=SmtSolverPtr(), const std::string &comment="", unsigned flags=0)Rose::BinaryAnalysis::SymbolicExpr::Interiorstatic
instance(const Type &type, Operator op, const Ptr &a, const Ptr &b, const SmtSolverPtr &solver=SmtSolverPtr(), const std::string &comment="", unsigned flags=0)Rose::BinaryAnalysis::SymbolicExpr::Interiorstatic
instance(Operator op, const Ptr &a, const Ptr &b, const Ptr &c, const SmtSolverPtr &solver=SmtSolverPtr(), const std::string &comment="", unsigned flags=0)Rose::BinaryAnalysis::SymbolicExpr::Interiorstatic
instance(const Type &type, Operator op, const Ptr &a, const Ptr &b, const Ptr &c, const SmtSolverPtr &solver=SmtSolverPtr(), const std::string &comment="", unsigned flags=0)Rose::BinaryAnalysis::SymbolicExpr::Interiorstatic
instance(Operator op, const Nodes &arguments, const SmtSolverPtr &solver=SmtSolverPtr(), const std::string &comment="", unsigned flags=0)Rose::BinaryAnalysis::SymbolicExpr::Interiorstatic
instance(const Type &type, Operator op, const Nodes &arguments, const SmtSolverPtr &solver=SmtSolverPtr(), const std::string &comment="", unsigned flags=0)Rose::BinaryAnalysis::SymbolicExpr::Interiorstatic
involutary()Rose::BinaryAnalysis::SymbolicExpr::Interior
isConstant() const ROSE_OVERRIDERose::BinaryAnalysis::SymbolicExpr::Interiorinlinevirtual
isEquivalentTo(const Ptr &other) ROSE_OVERRIDERose::BinaryAnalysis::SymbolicExpr::Interiorvirtual
isFloatingPointConstant() const Rose::BinaryAnalysis::SymbolicExpr::Nodeinline
isFloatingPointExpr() const Rose::BinaryAnalysis::SymbolicExpr::Nodeinline
isFloatingPointNan() const Rose::BinaryAnalysis::SymbolicExpr::Node
isFloatingPointVariable() const Rose::BinaryAnalysis::SymbolicExpr::Nodeinline
isHashed() const Rose::BinaryAnalysis::SymbolicExpr::Nodeinline
isIntegerConstant() const Rose::BinaryAnalysis::SymbolicExpr::Nodeinline
isIntegerExpr() const Rose::BinaryAnalysis::SymbolicExpr::Nodeinline
isIntegerVariable() const Rose::BinaryAnalysis::SymbolicExpr::Nodeinline
isInteriorNode() const Rose::BinaryAnalysis::SymbolicExpr::Node
isLeafNode() const Rose::BinaryAnalysis::SymbolicExpr::Node
isMemoryExpr() const Rose::BinaryAnalysis::SymbolicExpr::Nodeinline
isMemoryVariable() const Rose::BinaryAnalysis::SymbolicExpr::Nodeinline
isNumber() const ROSE_DEPRECATED("use isIntegerConstant instead") (defined in Rose::BinaryAnalysis::SymbolicExpr::Node)Rose::BinaryAnalysis::SymbolicExpr::Nodeinline
isOperator(Operator) const Rose::BinaryAnalysis::SymbolicExpr::Node
isScalar() const Rose::BinaryAnalysis::SymbolicExpr::Nodeinline
isScalarConstant() const Rose::BinaryAnalysis::SymbolicExpr::Nodeinline
isScalarExpr() const Rose::BinaryAnalysis::SymbolicExpr::Nodeinline
isScalarVariable() const Rose::BinaryAnalysis::SymbolicExpr::Nodeinline
isVariable2() const ROSE_OVERRIDERose::BinaryAnalysis::SymbolicExpr::Interiorinlinevirtual
matchAddVariableConstant(LeafPtr &variable, LeafPtr &constant) const Rose::BinaryAnalysis::SymbolicExpr::Node
mayEqual(const Ptr &other, const SmtSolverPtr &solver=SmtSolverPtr()) ROSE_OVERRIDERose::BinaryAnalysis::SymbolicExpr::Interiorvirtual
mayEqualCallbackRose::BinaryAnalysis::SymbolicExpr::Nodestatic
mustEqual(const Ptr &other, const SmtSolverPtr &solver=SmtSolverPtr()) ROSE_OVERRIDERose::BinaryAnalysis::SymbolicExpr::Interiorvirtual
nAttributes() constSawyer::Attribute::Storage<>inline
nBits() const Rose::BinaryAnalysis::SymbolicExpr::Nodeinline
nChildren() const ROSE_OVERRIDERose::BinaryAnalysis::SymbolicExpr::Interiorinlinevirtual
newFlags(unsigned flags) const Rose::BinaryAnalysis::SymbolicExpr::Node
nNodes() const ROSE_OVERRIDERose::BinaryAnalysis::SymbolicExpr::Interiorinlinevirtual
nNodesUnique() const 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
poisonNan(const SmtSolverPtr &solver=SmtSolverPtr())Rose::BinaryAnalysis::SymbolicExpr::Interior
poolAllocator()Sawyer::SmallObjectinlinestatic
print(std::ostream &, Formatter &) const ROSE_OVERRIDERose::BinaryAnalysis::SymbolicExpr::Interiorvirtual
Rose::BinaryAnalysis::SymbolicExpr::Node::print(std::ostream &o) const Rose::BinaryAnalysis::SymbolicExpr::Nodeinline
printFlags(std::ostream &o, unsigned flags, char &bracket) const (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
rewrite(const Simplifier &simplifier, const SmtSolverPtr &solver=SmtSolverPtr())Rose::BinaryAnalysis::SymbolicExpr::Interior
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
simplifyTop(const SmtSolverPtr &solver=SmtSolverPtr())Rose::BinaryAnalysis::SymbolicExpr::Interior
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::Interiorvirtual
substituteMultiple(const ExprExprHashMap &substitutions, const SmtSolverPtr &solver=SmtSolverPtr())Rose::BinaryAnalysis::SymbolicExpr::Node
Sync typedef (defined in Sawyer::Attribute::Storage<>)Sawyer::Attribute::Storage<>
toInt() ROSE_DEPRECATED("use toUnsigned() instead") (defined in Rose::BinaryAnalysis::SymbolicExpr::Node)Rose::BinaryAnalysis::SymbolicExpr::Nodeinline
toSigned() const ROSE_OVERRIDERose::BinaryAnalysis::SymbolicExpr::Interiorinlinevirtual
toUnsigned() const ROSE_OVERRIDERose::BinaryAnalysis::SymbolicExpr::Interiorinlinevirtual
type() const Rose::BinaryAnalysis::SymbolicExpr::Nodeinline
type_ (defined in Rose::BinaryAnalysis::SymbolicExpr::Node)Rose::BinaryAnalysis::SymbolicExpr::Nodeprotected
unaryNoOp()Rose::BinaryAnalysis::SymbolicExpr::Interior
UNSPECIFIEDRose::BinaryAnalysis::SymbolicExpr::Nodestatic
userData(boost::any &data)Rose::BinaryAnalysis::SymbolicExpr::Nodeinline
userData() const Rose::BinaryAnalysis::SymbolicExpr::Nodeinline
userData_Rose::BinaryAnalysis::SymbolicExpr::Nodeprotected
variableId() const Rose::BinaryAnalysis::SymbolicExpr::Node
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