assert_criteriont Class Reference
#include <full_slicer_class.h>
Inheritance diagram for assert_criteriont:
Collaboration diagram for assert_criteriont:
Public Member Functions | |
| virtual bool | operator() (goto_programt::const_targett target) |
 Public Member Functions inherited from slicing_criteriont | |
| virtual | ~slicing_criteriont () |
Detailed Description
Definition at line 107 of file full_slicer_class.h.
Member Function Documentation
◆ operator()()
|
inlinevirtual |
Implements slicing_criteriont.
Definition at line 110 of file full_slicer_class.h.
The documentation for this class was generated from the following file:
- goto-instrument/full_slicer_class.h
