CBMC
|
#include <full_slicer_class.h>
Public Member Functions | |
in_function_criteriont (const std::string &function_name) | |
virtual bool | operator() (const irep_idt &function_id, goto_programt::const_targett) const |
Public Member Functions inherited from slicing_criteriont | |
virtual | ~slicing_criteriont () |
Protected Attributes | |
const irep_idt | target_function |
Definition at line 121 of file full_slicer_class.h.
|
inlineexplicit |
Definition at line 124 of file full_slicer_class.h.
|
inlinevirtual |
Implements slicing_criteriont.
Definition at line 130 of file full_slicer_class.h.
|
protected |
Definition at line 136 of file full_slicer_class.h.