cprover
|
#include <full_slicer_class.h>
Public Member Functions | |
in_function_criteriont (const std::string &function_name) | |
virtual bool | operator() (goto_programt::const_targett target) const |
![]() | |
virtual | ~slicing_criteriont () |
Protected Attributes | |
const irep_idt | target_function |
Definition at line 118 of file full_slicer_class.h.
|
inlineexplicit |
Definition at line 121 of file full_slicer_class.h.
|
inlinevirtual |
Implements slicing_criteriont.
Definition at line 126 of file full_slicer_class.h.
|
protected |
Definition at line 132 of file full_slicer_class.h.