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) const
Public Member Functions inherited from slicing_criteriont
virtual	~slicing_criteriont ()

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

Detailed Description

Definition at line 135 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 138 of file full_slicer_class.h.

Member Function Documentation

operator()()

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

inlinevirtual

Implements slicing_criteriont.

Definition at line 144 of file full_slicer_class.h.

Member Data Documentation

property_ids

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

protected

Definition at line 163 of file full_slicer_class.h.

---

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

• goto-instrument/full_slicer_class.h