assertAcyclic() const | 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() const | Rose::BinaryAnalysis::SymbolicExpr::Leaf | |
BOTTOM | Rose::BinaryAnalysis::SymbolicExpr::Node | static |
child(size_t idx) const ROSE_OVERRIDE | Rose::BinaryAnalysis::SymbolicExpr::Leaf | inlinevirtual |
children() const ROSE_OVERRIDE | Rose::BinaryAnalysis::SymbolicExpr::Leaf | virtual |
clearAttributes() | Sawyer::Attribute::Storage<> | inline |
comment() const | 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 |
createBoolean(bool b, const std::string &comment="", unsigned flags=0) ROSE_DEPRECATED("use createConstant or makeBooleanConstant") (defined in Rose::BinaryAnalysis::SymbolicExpr::Leaf) | Rose::BinaryAnalysis::SymbolicExpr::Leaf | static |
createConstant(const Type &, const Sawyer::Container::BitVector &, const std::string &comment="", unsigned flags=0) | Rose::BinaryAnalysis::SymbolicExpr::Leaf | static |
createConstant(const Sawyer::Container::BitVector &bits, const std::string &comment="", unsigned flags=0) ROSE_DEPRECATED("use createConstant with type or makeIntegerConstant (defined in Rose::BinaryAnalysis::SymbolicExpr::Leaf) | Rose::BinaryAnalysis::SymbolicExpr::Leaf | static |
createExistingMemory(size_t addressWidth, size_t valueWidth, uint64_t id, const std::string &comment="", unsigned flags=0) ROSE_DEPRECATED("use createVariable with type or makeMemoryVariable") (defined in Rose::BinaryAnalysis::SymbolicExpr::Leaf) | Rose::BinaryAnalysis::SymbolicExpr::Leaf | inlinestatic |
createExistingVariable(size_t nBits, uint64_t id, const std::string &comment="", unsigned flags=0) ROSE_DEPRECATED("use createVariable or makeIntegerVariable (defined in Rose::BinaryAnalysis::SymbolicExpr::Leaf) | Rose::BinaryAnalysis::SymbolicExpr::Leaf | static |
createInteger(size_t nBits, uint64_t value, const std::string &comment="", unsigned flags=0) ROSE_DEPRECATED("use createConstant or makeIntegerConstant (defined in Rose::BinaryAnalysis::SymbolicExpr::Leaf) | Rose::BinaryAnalysis::SymbolicExpr::Leaf | static |
createMemory(size_t addressWidth, size_t valueWidth, const std::string &comment="", unsigned flags=0) ROSE_DEPRECATED("use createVariable with type or makeMemoryVariable") (defined in Rose::BinaryAnalysis::SymbolicExpr::Leaf) | Rose::BinaryAnalysis::SymbolicExpr::Leaf | inlinestatic |
createVariable(const Type &, const std::string &comment="", unsigned flags=0) | Rose::BinaryAnalysis::SymbolicExpr::Leaf | static |
createVariable(const Type &, const uint64_t id, const std::string &comment="", unsigned flags=0) | Rose::BinaryAnalysis::SymbolicExpr::Leaf | static |
createVariable(size_t nBits, const std::string &comment="", unsigned flags=0) ROSE_DEPRECATED("use createVariable with type or makeIntegerVariable (defined in Rose::BinaryAnalysis::SymbolicExpr::Leaf) | Rose::BinaryAnalysis::SymbolicExpr::Leaf | static |
depthFirstTraversal(Visitor &) const ROSE_OVERRIDE | Rose::BinaryAnalysis::SymbolicExpr::Leaf | virtual |
domainWidth() const | Rose::BinaryAnalysis::SymbolicExpr::Node | inline |
eraseAttribute(Id id) | Sawyer::Attribute::Storage<> | inline |
etc (defined in Rose::BinaryAnalysis::SymbolicExpr::Leaf) | Rose::BinaryAnalysis::SymbolicExpr::Leaf | |
findCommonSubexpressions() const | Rose::BinaryAnalysis::SymbolicExpr::Node | |
flags() const | Rose::BinaryAnalysis::SymbolicExpr::Node | inline |
flags_ | Rose::BinaryAnalysis::SymbolicExpr::Node | protected |
getAttribute(Id id) const | Sawyer::Attribute::Storage<> | inline |
getOperator() const ROSE_OVERRIDE | Rose::BinaryAnalysis::SymbolicExpr::Leaf | inlinevirtual |
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::Node | protected |
INDETERMINATE | Rose::BinaryAnalysis::SymbolicExpr::Node | static |
isConstant() const ROSE_OVERRIDE | Rose::BinaryAnalysis::SymbolicExpr::Leaf | inlinevirtual |
isEquivalentTo(const Ptr &other) ROSE_OVERRIDE | Rose::BinaryAnalysis::SymbolicExpr::Leaf | virtual |
isFloatingPointConstant() const | Rose::BinaryAnalysis::SymbolicExpr::Node | inline |
isFloatingPointExpr() const | Rose::BinaryAnalysis::SymbolicExpr::Node | inline |
isFloatingPointNan() const | Rose::BinaryAnalysis::SymbolicExpr::Leaf | |
isFloatingPointVariable() const | Rose::BinaryAnalysis::SymbolicExpr::Leaf | inline |
isHashed() const | Rose::BinaryAnalysis::SymbolicExpr::Node | inline |
isIntegerConstant() const | Rose::BinaryAnalysis::SymbolicExpr::Node | inline |
isIntegerExpr() const | Rose::BinaryAnalysis::SymbolicExpr::Node | inline |
isIntegerVariable() const | Rose::BinaryAnalysis::SymbolicExpr::Leaf | inline |
isInteriorNode() const | Rose::BinaryAnalysis::SymbolicExpr::Node | |
isLeafNode() const | Rose::BinaryAnalysis::SymbolicExpr::Node | |
isMemory() ROSE_DEPRECATED("use isMemoryVariable or isMemoryExpr instead") (defined in Rose::BinaryAnalysis::SymbolicExpr::Leaf) | Rose::BinaryAnalysis::SymbolicExpr::Leaf | inlinevirtual |
isMemoryExpr() const | Rose::BinaryAnalysis::SymbolicExpr::Node | inline |
isMemoryVariable() const | Rose::BinaryAnalysis::SymbolicExpr::Leaf | inline |
isNumber() const ROSE_DEPRECATED("use isIntegerConstant instead") (defined in Rose::BinaryAnalysis::SymbolicExpr::Node) | Rose::BinaryAnalysis::SymbolicExpr::Node | inline |
isOperator(Operator) const | Rose::BinaryAnalysis::SymbolicExpr::Node | |
isScalar() const | Rose::BinaryAnalysis::SymbolicExpr::Node | inline |
isScalarConstant() const | Rose::BinaryAnalysis::SymbolicExpr::Node | inline |
isScalarExpr() const | Rose::BinaryAnalysis::SymbolicExpr::Node | inline |
isScalarVariable() const | Rose::BinaryAnalysis::SymbolicExpr::Node | inline |
isVariable() const ROSE_DEPRECATED("use isIntegerVariable or isVariable2 instead") (defined in Rose::BinaryAnalysis::SymbolicExpr::Leaf) | Rose::BinaryAnalysis::SymbolicExpr::Leaf | inline |
isVariable2() const ROSE_OVERRIDE | Rose::BinaryAnalysis::SymbolicExpr::Leaf | inlinevirtual |
matchAddVariableConstant(LeafPtr &variable, LeafPtr &constant) const | 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() const | Rose::BinaryAnalysis::SymbolicExpr::Leaf | |
nAttributes() const | Sawyer::Attribute::Storage<> | inline |
nBits() const | Rose::BinaryAnalysis::SymbolicExpr::Node | inline |
nChildren() const ROSE_OVERRIDE | Rose::BinaryAnalysis::SymbolicExpr::Leaf | inlinevirtual |
newFlags(unsigned flags) const | Rose::BinaryAnalysis::SymbolicExpr::Node | |
nNodes() const ROSE_OVERRIDE | Rose::BinaryAnalysis::SymbolicExpr::Leaf | inlinevirtual |
nNodesUnique() const | 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 &) const ROSE_OVERRIDE | Rose::BinaryAnalysis::SymbolicExpr::Leaf | virtual |
Rose::BinaryAnalysis::SymbolicExpr::Node::print(std::ostream &o) const | Rose::BinaryAnalysis::SymbolicExpr::Node | inline |
printAsSigned(std::ostream &, Formatter &, bool asSigned=true) const | Rose::BinaryAnalysis::SymbolicExpr::Leaf | |
printAsUnsigned(std::ostream &o, Formatter &f) const | Rose::BinaryAnalysis::SymbolicExpr::Leaf | inline |
printFlags(std::ostream &o, unsigned flags, char &bracket) const (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 |
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_DEPRECATED("use toUnsigned() instead") (defined in Rose::BinaryAnalysis::SymbolicExpr::Node) | Rose::BinaryAnalysis::SymbolicExpr::Node | inline |
toSigned() const ROSE_OVERRIDE | Rose::BinaryAnalysis::SymbolicExpr::Leaf | virtual |
toString() const | Rose::BinaryAnalysis::SymbolicExpr::Leaf | |
toUnsigned() const ROSE_OVERRIDE | Rose::BinaryAnalysis::SymbolicExpr::Leaf | virtual |
type() const | Rose::BinaryAnalysis::SymbolicExpr::Node | inline |
type_ (defined in Rose::BinaryAnalysis::SymbolicExpr::Node) | Rose::BinaryAnalysis::SymbolicExpr::Node | protected |
UNSPECIFIED | Rose::BinaryAnalysis::SymbolicExpr::Node | static |
userData(boost::any &data) | Rose::BinaryAnalysis::SymbolicExpr::Node | inline |
userData() const | Rose::BinaryAnalysis::SymbolicExpr::Node | inline |
userData_ | Rose::BinaryAnalysis::SymbolicExpr::Node | protected |
variableId() const | Rose::BinaryAnalysis::SymbolicExpr::Node | |
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 |