| addChild(const Ptr &child) | Rose::BinaryAnalysis::SymbolicExpression::Interior | protected |
| additiveNesting(const SmtSolverPtr &solver=SmtSolverPtr()) | Rose::BinaryAnalysis::SymbolicExpression::Interior | |
| adjustBitFlags(unsigned extraFlags) | Rose::BinaryAnalysis::SymbolicExpression::Interior | protected |
| adjustWidth(const Type &) | Rose::BinaryAnalysis::SymbolicExpression::Interior | protected |
| assertAcyclic() const | Rose::BinaryAnalysis::SymbolicExpression::Node | |
| associative() | Rose::BinaryAnalysis::SymbolicExpression::Interior | |
| attributeExists(Id id) const | Sawyer::Attribute::Storage< SyncTag > | inline |
| attributeIds() const | Sawyer::Attribute::Storage< SyncTag > | inline |
| attributeOrDefault(Id id) const | Sawyer::Attribute::Storage< SyncTag > | inline |
| attributeOrElse(Id id, const T &dflt) const | Sawyer::Attribute::Storage< SyncTag > | inline |
| BOTTOM | Rose::BinaryAnalysis::SymbolicExpression::Node | static |
| child(size_t idx) const override | Rose::BinaryAnalysis::SymbolicExpression::Interior | virtual |
| childRaw(size_t idx) const override | Rose::BinaryAnalysis::SymbolicExpression::Interior | virtual |
| children() const override | Rose::BinaryAnalysis::SymbolicExpression::Interior | inlinevirtual |
| clearAttributes() | Sawyer::Attribute::Storage< SyncTag > | inline |
| comment() const | Rose::BinaryAnalysis::SymbolicExpression::Node | inline |
| comment(const std::string &s) | Rose::BinaryAnalysis::SymbolicExpression::Node | inline |
| comment_ | Rose::BinaryAnalysis::SymbolicExpression::Node | protected |
| commutative() | Rose::BinaryAnalysis::SymbolicExpression::Interior | |
| compareStructure(const Ptr &other) override | Rose::BinaryAnalysis::SymbolicExpression::Interior | virtual |
| depthFirstTraversal(Visitor &) const override | Rose::BinaryAnalysis::SymbolicExpression::Interior | virtual |
| domainWidth() const | Rose::BinaryAnalysis::SymbolicExpression::Node | inline |
| EquivPairs typedef (defined in Rose::BinaryAnalysis::SymbolicExpression::Node) | Rose::BinaryAnalysis::SymbolicExpression::Node | |
| eraseAttribute(Id id) | Sawyer::Attribute::Storage< SyncTag > | inline |
| findCommonSubexpressions() const | Rose::BinaryAnalysis::SymbolicExpression::Node | |
| flags() const | Rose::BinaryAnalysis::SymbolicExpression::Node | inline |
| flags_ | Rose::BinaryAnalysis::SymbolicExpression::Node | protected |
| foldConstants(const Simplifier &) | Rose::BinaryAnalysis::SymbolicExpression::Interior | |
| getAttribute(Id id) const | Sawyer::Attribute::Storage< SyncTag > | inline |
| getAttributeMaybe(const Id id) const | Sawyer::Attribute::Storage< SyncTag > | inline |
| getOperator() const override | Rose::BinaryAnalysis::SymbolicExpression::Interior | inlinevirtual |
| getVariables() const | Rose::BinaryAnalysis::SymbolicExpression::Node | |
| hash() const | Rose::BinaryAnalysis::SymbolicExpression::Node | |
| hash(Hash) const (defined in Rose::BinaryAnalysis::SymbolicExpression::Node) | Rose::BinaryAnalysis::SymbolicExpression::Node | |
| hashval_ | Rose::BinaryAnalysis::SymbolicExpression::Node | mutableprotected |
| idempotent(const SmtSolverPtr &solver=SmtSolverPtr()) | Rose::BinaryAnalysis::SymbolicExpression::Interior | |
| identity(uint64_t ident, const SmtSolverPtr &solver=SmtSolverPtr()) | Rose::BinaryAnalysis::SymbolicExpression::Interior | |
| INDETERMINATE | Rose::BinaryAnalysis::SymbolicExpression::Node | static |
| instance(Operator op, const Ptr &a, const SmtSolverPtr &solver=SmtSolverPtr(), const std::string &comment="", unsigned flags=0) | Rose::BinaryAnalysis::SymbolicExpression::Interior | static |
| instance(const Type &type, Operator op, const Ptr &a, const SmtSolverPtr &solver=SmtSolverPtr(), const std::string &comment="", unsigned flags=0) | Rose::BinaryAnalysis::SymbolicExpression::Interior | static |
| instance(Operator op, const Ptr &a, const Ptr &b, const SmtSolverPtr &solver=SmtSolverPtr(), const std::string &comment="", unsigned flags=0) | Rose::BinaryAnalysis::SymbolicExpression::Interior | static |
| 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::SymbolicExpression::Interior | static |
| 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::SymbolicExpression::Interior | static |
| 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::SymbolicExpression::Interior | static |
| instance(Operator op, const Nodes &arguments, const SmtSolverPtr &solver=SmtSolverPtr(), const std::string &comment="", unsigned flags=0) | Rose::BinaryAnalysis::SymbolicExpression::Interior | static |
| instance(const Type &type, Operator op, const Nodes &arguments, const SmtSolverPtr &solver=SmtSolverPtr(), const std::string &comment="", unsigned flags=0) | Rose::BinaryAnalysis::SymbolicExpression::Interior | static |
| involutary() | Rose::BinaryAnalysis::SymbolicExpression::Interior | |
| isConstant() const override | Rose::BinaryAnalysis::SymbolicExpression::Interior | inlinevirtual |
| isEquivalentHelper(Node *, EquivPairs &) override (defined in Rose::BinaryAnalysis::SymbolicExpression::Interior) | Rose::BinaryAnalysis::SymbolicExpression::Interior | virtual |
| isEquivalentTo(const Ptr &other) override | Rose::BinaryAnalysis::SymbolicExpression::Interior | virtual |
| isFloatingPointConstant() const | Rose::BinaryAnalysis::SymbolicExpression::Node | inline |
| isFloatingPointExpr() const | Rose::BinaryAnalysis::SymbolicExpression::Node | inline |
| isFloatingPointNan() const | Rose::BinaryAnalysis::SymbolicExpression::Node | |
| isFloatingPointVariable() const | Rose::BinaryAnalysis::SymbolicExpression::Node | inline |
| isHashed() const | Rose::BinaryAnalysis::SymbolicExpression::Node | inline |
| isIntegerConstant() const | Rose::BinaryAnalysis::SymbolicExpression::Node | inline |
| isIntegerExpr() const | Rose::BinaryAnalysis::SymbolicExpression::Node | inline |
| isIntegerVariable() const | Rose::BinaryAnalysis::SymbolicExpression::Node | inline |
| isInteriorNode() const | Rose::BinaryAnalysis::SymbolicExpression::Node | |
| isInteriorNodeRaw() const | Rose::BinaryAnalysis::SymbolicExpression::Node | |
| isLeafNode() const | Rose::BinaryAnalysis::SymbolicExpression::Node | |
| isLeafNodeRaw() const | Rose::BinaryAnalysis::SymbolicExpression::Node | |
| isMemoryExpr() const | Rose::BinaryAnalysis::SymbolicExpression::Node | inline |
| isMemoryVariable() const | Rose::BinaryAnalysis::SymbolicExpression::Node | inline |
| isOperator(Operator) const | Rose::BinaryAnalysis::SymbolicExpression::Node | |
| isScalar() const | Rose::BinaryAnalysis::SymbolicExpression::Node | inline |
| isScalarConstant() const | Rose::BinaryAnalysis::SymbolicExpression::Node | inline |
| isScalarExpr() const | Rose::BinaryAnalysis::SymbolicExpression::Node | inline |
| isScalarVariable() const | Rose::BinaryAnalysis::SymbolicExpression::Node | inline |
| isVariable2() const override | Rose::BinaryAnalysis::SymbolicExpression::Interior | inlinevirtual |
| matchAddVariableConstant(LeafPtr &variable, LeafPtr &constant) const | Rose::BinaryAnalysis::SymbolicExpression::Node | |
| mayEqual(const Ptr &other, const SmtSolverPtr &solver=SmtSolverPtr()) override | Rose::BinaryAnalysis::SymbolicExpression::Interior | virtual |
| mayEqualCallback | Rose::BinaryAnalysis::SymbolicExpression::Node | static |
| mustEqual(const Ptr &other, const SmtSolverPtr &solver=SmtSolverPtr()) override | Rose::BinaryAnalysis::SymbolicExpression::Interior | virtual |
| nAttributes() const | Sawyer::Attribute::Storage< SyncTag > | inline |
| nBits() const | Rose::BinaryAnalysis::SymbolicExpression::Node | inline |
| nChildren() const override | Rose::BinaryAnalysis::SymbolicExpression::Interior | inlinevirtual |
| newFlags(unsigned flags) const | Rose::BinaryAnalysis::SymbolicExpression::Node | |
| nNodes() const override | Rose::BinaryAnalysis::SymbolicExpression::Interior | inlinevirtual |
| nNodesUnique() const | Rose::BinaryAnalysis::SymbolicExpression::Node | |
| Node() (defined in Rose::BinaryAnalysis::SymbolicExpression::Node) | Rose::BinaryAnalysis::SymbolicExpression::Node | inlineprotected |
| Node(const std::string &comment, unsigned flags=0) (defined in Rose::BinaryAnalysis::SymbolicExpression::Node) | Rose::BinaryAnalysis::SymbolicExpression::Node | inlineexplicitprotected |
| operator delete(void *ptr, size_t size) (defined in Sawyer::SmallObject) | Sawyer::SmallObject | inlinestatic |
| operator new(size_t size) (defined in Sawyer::SmallObject) | Sawyer::SmallObject | inlinestatic |
| operator+(Formatter &fmt) | Rose::BinaryAnalysis::SymbolicExpression::Node | inline |
| Sawyer::operator=(const SharedObject &) | Sawyer::SharedObject | inline |
| Sawyer::Attribute::Storage::operator=(const Storage &other) | Sawyer::Attribute::Storage< SyncTag > | inline |
| optionalAttribute(Id id) const | Sawyer::Attribute::Storage< SyncTag > | inline |
| poisonNan(const SmtSolverPtr &solver=SmtSolverPtr()) | Rose::BinaryAnalysis::SymbolicExpression::Interior | |
| poolAllocator() | Sawyer::SmallObject | inlinestatic |
| print(std::ostream &, Formatter &) const override | Rose::BinaryAnalysis::SymbolicExpression::Interior | virtual |
| Rose::BinaryAnalysis::SymbolicExpression::Node::print(std::ostream &o) const | Rose::BinaryAnalysis::SymbolicExpression::Node | inline |
| printFlags(std::ostream &o, unsigned flags, char &bracket) const (defined in Rose::BinaryAnalysis::SymbolicExpression::Node) | Rose::BinaryAnalysis::SymbolicExpression::Node | protected |
| renameVariables(ExprExprHashMap &index, size_t &nextVariableId, const SmtSolverPtr &solver=SmtSolverPtr()) | Rose::BinaryAnalysis::SymbolicExpression::Node | |
| RESERVED_FLAGS | Rose::BinaryAnalysis::SymbolicExpression::Node | static |
| rewrite(const Simplifier &simplifier, const SmtSolverPtr &solver=SmtSolverPtr()) | Rose::BinaryAnalysis::SymbolicExpression::Interior | |
| 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() const | Sawyer::SharedFromThis< Node > | inline |
| SharedObject() | Sawyer::SharedObject | inline |
| SharedObject(const SharedObject &) | Sawyer::SharedObject | inline |
| simplifyTop(const SmtSolverPtr &solver=SmtSolverPtr()) | Rose::BinaryAnalysis::SymbolicExpression::Interior | |
| 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()) override | Rose::BinaryAnalysis::SymbolicExpression::Interior | 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 override | Rose::BinaryAnalysis::SymbolicExpression::Interior | inlinevirtual |
| toString() const | Rose::BinaryAnalysis::SymbolicExpression::Node | |
| toUnsigned() const override | Rose::BinaryAnalysis::SymbolicExpression::Interior | inlinevirtual |
| type() const | Rose::BinaryAnalysis::SymbolicExpression::Node | inline |
| type_ (defined in Rose::BinaryAnalysis::SymbolicExpression::Node) | Rose::BinaryAnalysis::SymbolicExpression::Node | protected |
| unaryNoOp() | Rose::BinaryAnalysis::SymbolicExpression::Interior | |
| UNSPECIFIED | Rose::BinaryAnalysis::SymbolicExpression::Node | static |
| userData(boost::any &data) | Rose::BinaryAnalysis::SymbolicExpression::Node | inline |
| userData() const | Rose::BinaryAnalysis::SymbolicExpression::Node | inline |
| userData_ | Rose::BinaryAnalysis::SymbolicExpression::Node | protected |
| variableId() const | Rose::BinaryAnalysis::SymbolicExpression::Node | |
| withFormat(Formatter &fmt) | Rose::BinaryAnalysis::SymbolicExpression::Node | inline |
| ~Node() (defined in Rose::BinaryAnalysis::SymbolicExpression::Node) | Rose::BinaryAnalysis::SymbolicExpression::Node | inlinevirtual |
| ~SharedObject() | Sawyer::SharedObject | inlinevirtual |
| ~Storage() (defined in Sawyer::Attribute::Storage< SyncTag >) | Sawyer::Attribute::Storage< SyncTag > | inline |
