ROSE  0.9.9.139
Public Member Functions | Public Attributes | List of all members
Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::MemoryListState::CellCompressorChoice Struct Reference

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 490 of file SymbolicSemantics2.h.

#include <SymbolicSemantics2.h>

Inheritance diagram for Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::MemoryListState::CellCompressorChoice:
Inheritance graph
[legend]
Collaboration diagram for Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::MemoryListState::CellCompressorChoice:
Collaboration graph
[legend]

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: