cprover
|
#include <full_slicer.h>
Public Member Functions | |
virtual | ~slicing_criteriont () |
virtual bool | operator() (const irep_idt &function_id, goto_programt::const_targett) const =0 |
Definition at line 35 of file full_slicer.h.
|
virtual |
Definition at line 387 of file full_slicer.cpp.
|
pure virtual |
Implemented in assert_criteriont, in_function_criteriont, and properties_criteriont.