Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCell::Predicate Class Reference

Description

Predicate for matching cells.

Definition at line 44 of file MemoryCell.h.

#include <Rose/BinaryAnalysis/InstructionSemantics/BaseSemantics/MemoryCell.h>

Inheritance diagram for Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCell::Predicate:

Public Member Functions
virtual bool	operator() (const MemoryCellPtr &)=0
	Invoked for some cell.

Constructor & Destructor Documentation

~Predicate()

virtual Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCell::Predicate::~Predicate ( )

inlinevirtual

Definition at line 46 of file MemoryCell.h.

Member Function Documentation

operator()()

virtual bool Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCell::Predicate::operator() ( const MemoryCellPtr &  )

pure virtual

Invoked for some cell.

The predicate must not modify the cell.

Implemented in Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCell::AllCells, and Rose::BinaryAnalysis::InstructionSemantics::BaseSemantics::MemoryCell::NonWrittenCells.

---

The documentation for this class was generated from the following file:

• MemoryCell.h