CBMC
|
#include <full_slicer_class.h>
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 |
Definition at line 139 of file full_slicer_class.h.
|
inlineexplicit |
Definition at line 142 of file full_slicer_class.h.
|
inlinevirtual |
Implements slicing_criteriont.
Definition at line 149 of file full_slicer_class.h.
|
protected |
Definition at line 168 of file full_slicer_class.h.