| allCells() const | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryCellState | inline |
| byteRestricted() const | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryState | inline |
| byteRestricted(bool b) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryState | inline |
| CellKey typedef | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryCellMap | |
| CellMap typedef | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryCellMap | |
| cells (defined in Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryCellMap) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryCellMap | protected |
| clear() override | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryCellMap | virtual |
| clone() const override | Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::MemoryMapState | inlinevirtual |
| create(const BaseSemantics::SValuePtr &addrProtoval, const BaseSemantics::SValuePtr &valProtoval) const override | Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::MemoryMapState | inlinevirtual |
| create(const BaseSemantics::MemoryCellPtr &protocell) const | Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::MemoryMapState | inlinevirtual |
| eraseLeadingCells(MemoryCell::Predicate &) override | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryCellMap | virtual |
| eraseMatchingCells(MemoryCell::Predicate &) override | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryCellMap | virtual |
| eraseNonWritten() | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryCellState | inline |
| findCell(const SValuePtr &addr) const | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryCellMap | virtual |
| generateCellKey(const BaseSemantics::SValuePtr &addr_) const override | Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::MemoryMapState | virtual |
| get_addr_protoval() const | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryState | inline |
| get_byteOrder() const | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryState | inline |
| get_val_protoval() const | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryState | inline |
| getWritersIntersection(const SValuePtr &addr, size_t nBits, RiscOperators *addrOps, RiscOperators *valOps) override | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryCellMap | virtual |
| getWritersUnion(const SValuePtr &addr, size_t nBits, RiscOperators *addrOps, RiscOperators *valOps) override | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryCellMap | virtual |
| hash(Combinatorics::Hasher &, RiscOperators *addrOps, RiscOperators *valOps) const override | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryCellMap | virtual |
| instance(const BaseSemantics::MemoryCellPtr &protocell) | Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::MemoryMapState | inlinestatic |
| instance(const BaseSemantics::SValuePtr &addrProtoval, const BaseSemantics::SValuePtr &valProtoval) | Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::MemoryMapState | inlinestatic |
| instance(const MemoryMapStatePtr &other) | Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::MemoryMapState | inlinestatic |
| isAllPresent(const SValuePtr &address, size_t nBytes, RiscOperators *addrOps) const | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryCellMap | virtual |
| latestWrittenCell() const | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryCellState | inlinevirtual |
| latestWrittenCell(const MemoryCellPtr &cell) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryCellState | inlinevirtual |
| latestWrittenCell_ (defined in Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryCellState) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryCellState | protected |
| leadingCells(MemoryCell::Predicate &) const override | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryCellMap | virtual |
| matchingCells(MemoryCell::Predicate &) const override | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryCellMap | virtual |
| MemoryCellMap() (defined in Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryCellMap) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryCellMap | inlineprotected |
| MemoryCellMap(const MemoryCellPtr &protocell) (defined in Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryCellMap) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryCellMap | inlineexplicitprotected |
| MemoryCellMap(const SValuePtr &addrProtoval, const SValuePtr &valProtoval) (defined in Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryCellMap) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryCellMap | inlineprotected |
| MemoryCellMap(const MemoryCellMap &) (defined in Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryCellMap) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryCellMap | protected |
| MemoryCellState() (defined in Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryCellState) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryCellState | inlineprotected |
| MemoryCellState(const MemoryCellPtr &protocell) (defined in Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryCellState) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryCellState | explicitprotected |
| MemoryCellState(const SValuePtr &addrProtoval, const SValuePtr &valProtoval) (defined in Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryCellState) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryCellState | protected |
| MemoryCellState(const MemoryCellState &other) (defined in Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryCellState) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryCellState | protected |
| MemoryMapState() (defined in Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::MemoryMapState) | Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::MemoryMapState | inlineprotected |
| MemoryMapState(const BaseSemantics::MemoryCellPtr &protocell) (defined in Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::MemoryMapState) | Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::MemoryMapState | inlineexplicitprotected |
| MemoryMapState(const BaseSemantics::SValuePtr &addrProtoval, const BaseSemantics::SValuePtr &valProtoval) (defined in Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::MemoryMapState) | Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::MemoryMapState | inlineprotected |
| MemoryState() (defined in Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryState) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryState | protected |
| MemoryState(const SValuePtr &addrProtoval, const SValuePtr &valProtoval) (defined in Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryState) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryState | protected |
| MemoryState(const MemoryStatePtr &other) (defined in Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryState) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryState | protected |
| merge(const MemoryStatePtr &other, RiscOperators *addrOps, RiscOperators *valOps) override | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryCellMap | virtual |
| merger() const | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryState | |
| merger(const MergerPtr &) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryState | |
| operator+(Formatter &fmt) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryState | inline |
| operator+(const std::string &linePrefix) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryState | |
| peekMemory(const SValuePtr &address, const SValuePtr &dflt, RiscOperators *addrOps, RiscOperators *valOps) override | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryCellMap | virtual |
| print(std::ostream &, Formatter &) const override | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryCellMap | virtual |
| Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryCellState::print(std::ostream &, const std::string prefix="") const | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryState | |
| promote(const BaseSemantics::MemoryStatePtr &x) | Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::MemoryMapState | inlinestatic |
| protocell (defined in Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryCellState) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryCellState | protected |
| Ptr typedef | Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::MemoryMapState | |
| readMemory(const SValuePtr &address, const SValuePtr &dflt, RiscOperators *addrOps, RiscOperators *valOps) override | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryCellMap | virtual |
| set_byteOrder(ByteOrder::Endianness bo) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryState | inline |
| Super typedef | Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::MemoryMapState | |
| traverse(MemoryCell::Visitor &) override | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryCellMap | virtual |
| with_format(Formatter &fmt) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryState | inline |
| writeMemory(const SValuePtr &address, const SValuePtr &value, RiscOperators *addrOps, RiscOperators *valOps) override | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryCellMap | virtual |
| ~MemoryCellState() (defined in Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryCellState) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryCellState | |
| ~MemoryState() (defined in Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryState) | Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryState | virtual |
