cprover
|
#include <full_slicer_class.h>
Public Member Functions | |
properties_criteriont (const std::list< std::string > &properties) | |
virtual bool | operator() (goto_programt::const_targett target) |
![]() | |
virtual | ~slicing_criteriont () |
Protected Attributes | |
const std::list< std::string > & | property_ids |
Definition at line 116 of file full_slicer_class.h.
|
inlineexplicit |
Definition at line 119 of file full_slicer_class.h.
|
inlinevirtual |
Implements slicing_criteriont.
Definition at line 125 of file full_slicer_class.h.
References id2string().
|
protected |
Definition at line 144 of file full_slicer_class.h.