byteRestricted() const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryState | |
byteRestricted(bool) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryState | |
clear() override | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SymbolicMemory | virtual |
clone() const override | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SymbolicMemory | inlinevirtual |
create(const SValuePtr &addrProtoval, const SValuePtr &valProtoval) const override | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SymbolicMemory | inlinevirtual |
expression() const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SymbolicMemory | inline |
expression(const SymbolicExpression::Ptr &mem) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SymbolicMemory | |
get_addr_protoval() const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryState | |
get_byteOrder() const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryState | |
get_val_protoval() const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryState | |
hash(Combinatorics::Hasher &, RiscOperators *addrOps, RiscOperators *valOps) const override | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SymbolicMemory | virtual |
instance(const SValuePtr &addrProtoval, const SValuePtr &valProtoval) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SymbolicMemory | inlinestatic |
MemoryState() (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryState) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryState | protected |
MemoryState(const SValuePtr &addrProtoval, const SValuePtr &valProtoval) (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryState) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryState | protected |
MemoryState(const MemoryStatePtr &other) (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryState) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryState | protected |
merge(const MemoryStatePtr &other, RiscOperators *addrOps, RiscOperators *valOps) override | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SymbolicMemory | virtual |
merger() const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryState | |
merger(const MergerPtr &) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryState | |
operator+(Formatter &) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryState | |
operator+(const std::string &linePrefix) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryState | |
peekMemory(const SValuePtr &address, const SValuePtr &dflt, RiscOperators *addrOps, RiscOperators *valOps) override | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SymbolicMemory | virtual |
print(std::ostream &, Formatter &) const override | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SymbolicMemory | virtual |
Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryState::print(std::ostream &, const std::string prefix="") const | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryState | |
promote(const MemoryStatePtr &x) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SymbolicMemory | inlinestatic |
Ptr typedef | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SymbolicMemory | |
readMemory(const SValuePtr &address, const SValuePtr &dflt, RiscOperators *addrOps, RiscOperators *valOps) override | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SymbolicMemory | virtual |
set_byteOrder(ByteOrder::Endianness) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryState | |
Super typedef | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SymbolicMemory | |
SymbolicMemory(const SValuePtr &addrProtoval, const SValuePtr &valProtoval) (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SymbolicMemory) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SymbolicMemory | inlineexplicitprotected |
with_format(Formatter &) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryState | |
writeMemory(const SValuePtr &address, const SValuePtr &value, RiscOperators *addrOps, RiscOperators *valOps) override | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::SymbolicMemory | virtual |
~MemoryState() (defined in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryState) | Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryState | virtual |