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