slicing_criteriont Class Referenceabstract
#include <full_slicer.h>
Inheritance diagram for slicing_criteriont:Public Member Functions | |
| virtual | ~slicing_criteriont () |
| virtual bool | operator() (goto_programt::const_targett) const =0 |
Detailed Description
Definition at line 32 of file full_slicer.h.
Constructor & Destructor Documentation
◆ ~slicing_criteriont()
|
virtual |
Definition at line 407 of file full_slicer.cpp.
Member Function Documentation
◆ operator()()
|
pure virtual |
Implemented in properties_criteriont, in_function_criteriont, and assert_criteriont.
The documentation for this class was generated from the following files:
- goto-instrument/full_slicer.h
- goto-instrument/full_slicer.cpp
