Description
Functor for handling a memory read whose address matches more than one memory cell.
This is the default cell compressor and simply calls either CellCompressionMcCarthy or CellCompressionSimple depending on whether an SMT solver is being used.
Definition at line 517 of file SymbolicSemantics.h.
#include <SymbolicSemantics.h>
Inheritance diagram for Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::MemoryListState::CellCompressorChoice:
Collaboration diagram for Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::MemoryListState::CellCompressorChoice:
Public Member Functions | |
| virtual SValuePtr | operator() (const SValuePtr &address, const BaseSemantics::SValuePtr &dflt, BaseSemantics::RiscOperators *addrOps, BaseSemantics::RiscOperators *valOps, const CellList &cells) ROSE_OVERRIDE |
 Public Member Functions inherited from Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::MemoryListState::CellCompressor | |
| virtual SValuePtr | operator() (const SValuePtr &address, const BaseSemantics::SValuePtr &dflt, BaseSemantics::RiscOperators *addrOps, BaseSemantics::RiscOperators *valOps, const MemoryCellList::CellList &cells)=0 |
Public Attributes | |
| CellCompressorMcCarthy | cc_mccarthy |
| CellCompressorSimple | cc_simple |
The documentation for this struct was generated from the following file:
