CBMC
|
#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 36 of file full_slicer.h.
|
virtual |
Definition at line 392 of file full_slicer.cpp.
|
pure virtual |
Implemented in in_function_criteriont, properties_criteriont, and assert_criteriont.