CBMC
Public Member Functions | Protected Attributes | List of all members
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() (const irep_idt &, 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 138 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 141 of file full_slicer_class.h.

Member Function Documentation

◆ operator()()

virtual bool properties_criteriont::operator() ( const irep_idt &  ,
goto_programt::const_targett  target 
) const
inlinevirtual

Implements slicing_criteriont.

Definition at line 148 of file full_slicer_class.h.

Member Data Documentation

◆ property_ids

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

Definition at line 167 of file full_slicer_class.h.

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