| assert_acyclic() (defined in Rose::BinaryAnalysis::SymbolicExpr::Node) | Rose::BinaryAnalysis::SymbolicExpr::Node | inline |
| assertAcyclic() | Rose::BinaryAnalysis::SymbolicExpr::Node | |
| attributeExists(Id id) const | Sawyer::Attribute::Storage<> | inline |
| attributeIds() const | Sawyer::Attribute::Storage<> | inline |
| attributeOrDefault(Id id) const | Sawyer::Attribute::Storage<> | inline |
| attributeOrElse(Id id, const T &dflt) const | Sawyer::Attribute::Storage<> | inline |
| bits() | Rose::BinaryAnalysis::SymbolicExpr::Leaf | |
| BOTTOM | Rose::BinaryAnalysis::SymbolicExpr::Node | static |
| clearAttributes() | Sawyer::Attribute::Storage<> | inline |
| comment() | Rose::BinaryAnalysis::SymbolicExpr::Node | inline |
| comment(const std::string &s) | Rose::BinaryAnalysis::SymbolicExpr::Node | inline |
| comment_ | Rose::BinaryAnalysis::SymbolicExpr::Node | protected |
| compareStructure(const Ptr &other) ROSE_OVERRIDE | Rose::BinaryAnalysis::SymbolicExpr::Leaf | virtual |
| create_boolean(bool b, std::string comment="", unsigned flags=0) ROSE_DEPRECATED("use createBoolean instead") (defined in Rose::BinaryAnalysis::SymbolicExpr::Leaf) | Rose::BinaryAnalysis::SymbolicExpr::Leaf | inlinestatic |
| 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::Leaf | inlinestatic |
| 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::Leaf | inlinestatic |
| 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::Leaf | inlinestatic |
| 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::Leaf | inlinestatic |
| 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::Leaf | inlinestatic |
| createBoolean(bool b, const std::string &comment="", unsigned flags=0) | Rose::BinaryAnalysis::SymbolicExpr::Leaf | inlinestatic |
| createConstant(const Sawyer::Container::BitVector &bits, const std::string &comment="", unsigned flags=0) | Rose::BinaryAnalysis::SymbolicExpr::Leaf | static |
| createExistingMemory(size_t addressWidth, size_t valueWidth, uint64_t id, const std::string &comment="", unsigned flags=0) | Rose::BinaryAnalysis::SymbolicExpr::Leaf | static |
| createExistingVariable(size_t nbits, uint64_t id, const std::string &comment="", unsigned flags=0) | Rose::BinaryAnalysis::SymbolicExpr::Leaf | static |
| createInteger(size_t nbits, uint64_t n, const std::string &comment="", unsigned flags=0) | Rose::BinaryAnalysis::SymbolicExpr::Leaf | static |
| createMemory(size_t addressWidth, size_t valueWidth, const std::string &comment="", unsigned flags=0) | Rose::BinaryAnalysis::SymbolicExpr::Leaf | static |
| createVariable(size_t nbits, const std::string &comment="", unsigned flags=0) | Rose::BinaryAnalysis::SymbolicExpr::Leaf | static |
| depth_first_traversal(Visitor &v) ROSE_DEPRECATED("use depthFirstTraversal instead") (defined in Rose::BinaryAnalysis::SymbolicExpr::Node) | Rose::BinaryAnalysis::SymbolicExpr::Node | inline |
| depthFirstTraversal(Visitor &) ROSE_OVERRIDE | Rose::BinaryAnalysis::SymbolicExpr::Leaf | virtual |
| domainWidth() | Rose::BinaryAnalysis::SymbolicExpr::Node | inline |
| domainWidth_ | Rose::BinaryAnalysis::SymbolicExpr::Node | protected |
| eraseAttribute(Id id) | Sawyer::Attribute::Storage<> | inline |
| findCommonSubexpressions() | Rose::BinaryAnalysis::SymbolicExpr::Node | |
| flags() | Rose::BinaryAnalysis::SymbolicExpr::Node | inline |
| flags_ | Rose::BinaryAnalysis::SymbolicExpr::Node | protected |
| get_bits() ROSE_DEPRECATED("use 'bits' property instead") (defined in Rose::BinaryAnalysis::SymbolicExpr::Leaf) | Rose::BinaryAnalysis::SymbolicExpr::Leaf | inline |
| get_comment() ROSE_DEPRECATED("use 'comment' property instead") (defined in Rose::BinaryAnalysis::SymbolicExpr::Node) | Rose::BinaryAnalysis::SymbolicExpr::Node | inline |
| get_flags() ROSE_DEPRECATED("use 'flags' property instead") (defined in Rose::BinaryAnalysis::SymbolicExpr::Node) | Rose::BinaryAnalysis::SymbolicExpr::Node | inline |
| get_name() ROSE_DEPRECATED("use nameId instead") (defined in Rose::BinaryAnalysis::SymbolicExpr::Leaf) | Rose::BinaryAnalysis::SymbolicExpr::Leaf | inline |
| get_nbits() ROSE_DEPRECATED("use 'nBits' property instead") (defined in Rose::BinaryAnalysis::SymbolicExpr::Node) | Rose::BinaryAnalysis::SymbolicExpr::Node | inline |
| get_value() ROSE_DEPRECATED("use toInt instead") (defined in Rose::BinaryAnalysis::SymbolicExpr::Node) | Rose::BinaryAnalysis::SymbolicExpr::Node | inline |
| get_variables() ROSE_DEPRECATED("use getVariables instead") (defined in Rose::BinaryAnalysis::SymbolicExpr::Node) | Rose::BinaryAnalysis::SymbolicExpr::Node | inline |
| getAttribute(Id id) const | Sawyer::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::Node | protected |
| INDETERMINATE | Rose::BinaryAnalysis::SymbolicExpr::Node | static |
| is_hashed() ROSE_DEPRECATED("use isHashed instead") (defined in Rose::BinaryAnalysis::SymbolicExpr::Node) | Rose::BinaryAnalysis::SymbolicExpr::Node | inline |
| is_known() ROSE_DEPRECATED("use isNumber instead") (defined in Rose::BinaryAnalysis::SymbolicExpr::Node) | Rose::BinaryAnalysis::SymbolicExpr::Node | inline |
| is_memory() ROSE_DEPRECATED("use isMemory instead") (defined in Rose::BinaryAnalysis::SymbolicExpr::Leaf) | Rose::BinaryAnalysis::SymbolicExpr::Leaf | inline |
| is_variable() ROSE_DEPRECATED("use isVariable instead") (defined in Rose::BinaryAnalysis::SymbolicExpr::Leaf) | Rose::BinaryAnalysis::SymbolicExpr::Leaf | inline |
| isEquivalentTo(const Ptr &other) ROSE_OVERRIDE | Rose::BinaryAnalysis::SymbolicExpr::Leaf | virtual |
| isHashed() | Rose::BinaryAnalysis::SymbolicExpr::Node | inline |
| isInteriorNode() | Rose::BinaryAnalysis::SymbolicExpr::Node | inline |
| isInternalNode() ROSE_DEPRECATED("use isInteriorNode instead") (defined in Rose::BinaryAnalysis::SymbolicExpr::Node) | Rose::BinaryAnalysis::SymbolicExpr::Node | inline |
| isLeafNode() | Rose::BinaryAnalysis::SymbolicExpr::Node | inline |
| isMemory() | Rose::BinaryAnalysis::SymbolicExpr::Leaf | virtual |
| isNumber() ROSE_OVERRIDE | Rose::BinaryAnalysis::SymbolicExpr::Leaf | virtual |
| isOperator(Operator) | Rose::BinaryAnalysis::SymbolicExpr::Node | |
| isScalar() | Rose::BinaryAnalysis::SymbolicExpr::Node | inline |
| isVariable() | Rose::BinaryAnalysis::SymbolicExpr::Leaf | virtual |
| matchAddVariableConstant(LeafPtr &variable, LeafPtr &constant) | Rose::BinaryAnalysis::SymbolicExpr::Node | |
| mayEqual(const Ptr &other, const SmtSolverPtr &solver=SmtSolverPtr()) ROSE_OVERRIDE | Rose::BinaryAnalysis::SymbolicExpr::Leaf | virtual |
| mayEqualCallback | Rose::BinaryAnalysis::SymbolicExpr::Node | static |
| mustEqual(const Ptr &other, const SmtSolverPtr &solver=SmtSolverPtr()) ROSE_OVERRIDE | Rose::BinaryAnalysis::SymbolicExpr::Leaf | virtual |
| nameId() | Rose::BinaryAnalysis::SymbolicExpr::Leaf | |
| nAttributes() const | Sawyer::Attribute::Storage<> | inline |
| nBits() | Rose::BinaryAnalysis::SymbolicExpr::Node | inline |
| nBits_ | Rose::BinaryAnalysis::SymbolicExpr::Node | protected |
| newFlags(unsigned flags) | Rose::BinaryAnalysis::SymbolicExpr::Node | |
| nnodes() ROSE_DEPRECATED("use nNodes() instead") (defined in Rose::BinaryAnalysis::SymbolicExpr::Node) | Rose::BinaryAnalysis::SymbolicExpr::Node | inline |
| nNodes() ROSE_OVERRIDE | Rose::BinaryAnalysis::SymbolicExpr::Leaf | inlinevirtual |
| nnodesUnique() ROSE_DEPRECATED("use nNodesUnique instead") (defined in Rose::BinaryAnalysis::SymbolicExpr::Node) | Rose::BinaryAnalysis::SymbolicExpr::Node | inline |
| nNodesUnique() | Rose::BinaryAnalysis::SymbolicExpr::Node | |
| Node() (defined in Rose::BinaryAnalysis::SymbolicExpr::Node) | Rose::BinaryAnalysis::SymbolicExpr::Node | inlineprotected |
| Node(const std::string &comment, unsigned flags=0) (defined in Rose::BinaryAnalysis::SymbolicExpr::Node) | Rose::BinaryAnalysis::SymbolicExpr::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::SymbolicExpr::Node | inline |
| Sawyer::operator=(const SharedObject &) | Sawyer::SharedObject | inline |
| Storage<>::operator=(const Storage &other) | Sawyer::Attribute::Storage<> | inline |
| optionalAttribute(Id id) const | Sawyer::Attribute::Storage<> | inline |
| poolAllocator() | Sawyer::SmallObject | inlinestatic |
| print(std::ostream &, Formatter &) ROSE_OVERRIDE | Rose::BinaryAnalysis::SymbolicExpr::Leaf | virtual |
| Rose::BinaryAnalysis::SymbolicExpr::Node::print(std::ostream &o) | Rose::BinaryAnalysis::SymbolicExpr::Node | inline |
| 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::Leaf | inline |
| print_as_unsigned(std::ostream &o, Formatter &f) ROSE_DEPRECATED("use printAsUnsigned instead") (defined in Rose::BinaryAnalysis::SymbolicExpr::Leaf) | Rose::BinaryAnalysis::SymbolicExpr::Leaf | inline |
| printAsSigned(std::ostream &, Formatter &, bool asSigned=true) | Rose::BinaryAnalysis::SymbolicExpr::Leaf | |
| printAsUnsigned(std::ostream &o, Formatter &f) | Rose::BinaryAnalysis::SymbolicExpr::Leaf | inline |
| printFlags(std::ostream &o, unsigned flags, char &bracket) (defined in Rose::BinaryAnalysis::SymbolicExpr::Node) | Rose::BinaryAnalysis::SymbolicExpr::Node | protected |
| renameVariables(ExprExprHashMap &index, size_t &nextVariableId, const SmtSolverPtr &solver=SmtSolverPtr()) | Rose::BinaryAnalysis::SymbolicExpr::Node | |
| RESERVED_FLAGS | Rose::BinaryAnalysis::SymbolicExpr::Node | static |
| set_comment(const std::string &s) ROSE_DEPRECATED("use 'comment' property instead") (defined in Rose::BinaryAnalysis::SymbolicExpr::Node) | Rose::BinaryAnalysis::SymbolicExpr::Node | inline |
| 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() const | Sawyer::SharedFromThis< Node > | inline |
| SharedObject() | Sawyer::SharedObject | inline |
| SharedObject(const SharedObject &) | Sawyer::SharedObject | inline |
| 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_OVERRIDE | Rose::BinaryAnalysis::SymbolicExpr::Leaf | virtual |
| substituteMultiple(const ExprExprHashMap &substitutions, const SmtSolverPtr &solver=SmtSolverPtr()) | Rose::BinaryAnalysis::SymbolicExpr::Node | |
| Sync typedef (defined in Sawyer::Attribute::Storage<>) | Sawyer::Attribute::Storage<> | |
| toInt() ROSE_OVERRIDE | Rose::BinaryAnalysis::SymbolicExpr::Leaf | virtual |
| toString() | Rose::BinaryAnalysis::SymbolicExpr::Leaf | |
| UNSPECIFIED | Rose::BinaryAnalysis::SymbolicExpr::Node | static |
| userData(boost::any &data) | Rose::BinaryAnalysis::SymbolicExpr::Node | inline |
| userData() | Rose::BinaryAnalysis::SymbolicExpr::Node | inline |
| userData_ | Rose::BinaryAnalysis::SymbolicExpr::Node | protected |
| with_format(Formatter &fmt) ROSE_DEPRECATED("use withFormat instead") (defined in Rose::BinaryAnalysis::SymbolicExpr::Node) | Rose::BinaryAnalysis::SymbolicExpr::Node | inline |
| withFormat(Formatter &fmt) | Rose::BinaryAnalysis::SymbolicExpr::Node | inline |
| ~SharedFromThis() (defined in Sawyer::SharedFromThis< Node >) | Sawyer::SharedFromThis< Node > | inlinevirtual |
| ~SharedObject() | Sawyer::SharedObject | inlinevirtual |
| ~Storage() (defined in Sawyer::Attribute::Storage<>) | Sawyer::Attribute::Storage<> | inline |
