CBMC
|
#include <full_slicer_class.h>
Public Member Functions | |
virtual bool | operator() (const irep_idt &, goto_programt::const_targett target) const |
Public Member Functions inherited from slicing_criteriont | |
virtual | ~slicing_criteriont () |
Definition at line 111 of file full_slicer_class.h.
|
inlinevirtual |
Implements slicing_criteriont.
Definition at line 115 of file full_slicer_class.h.