properties_criteriont Class Reference

#include <full_slicer_class.h>

Inheritance diagram for properties_criteriont:

Collaboration diagram for properties_criteriont:

Public Member Functions
	properties_criteriont (const std::list< std::string > &properties)
virtual bool	operator() (goto_programt::const_targett target)
Public Member Functions inherited from slicing_criteriont
virtual	~slicing_criteriont ()

Protected Attributes
const std::list< std::string > &	property_ids

Detailed Description

Definition at line 116 of file full_slicer_class.h.

Constructor & Destructor Documentation

properties_criteriont()

properties_criteriont::properties_criteriont ( const std::list< std::string > &  properties )

inlineexplicit

Definition at line 119 of file full_slicer_class.h.

Member Function Documentation

operator()()

virtual bool properties_criteriont::operator() ( goto_programt::const_targett  target )

inlinevirtual

Implements slicing_criteriont.

Definition at line 125 of file full_slicer_class.h.

References id2string(), and property_ids.

Member Data Documentation

property_ids

const std::list<std::string>& properties_criteriont::property_ids

protected

Definition at line 144 of file full_slicer_class.h.

Referenced by operator()().

---

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

• goto-instrument/full_slicer_class.h