Description

Predicate for non-written cells.

Returns true if a cell has no writers.

Definition at line 59 of file BaseSemantics/MemoryCell.h.

#include <MemoryCell.h>

Inheritance diagram for Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryCell::NonWrittenCells:

Collaboration diagram for Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryCell::NonWrittenCells:

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

Member Function Documentation

virtual bool Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryCell::NonWrittenCells::operator() ( const MemoryCellPtr & ) const

virtual

Invoked for some cell.

The predicate must not modify the cell.

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