goal_filter_baset Class Referenceabstract
Base class for filtering goals. More...
#include <cover_filter.h>
Inheritance diagram for goal_filter_baset:Public Member Functions | |
| virtual | ~goal_filter_baset () |
| virtual bool | operator() (const source_locationt &) const =0 |
| Returns true if the goal passes the filter criteria. More... | |
| virtual void | report_anomalies () const |
| Can be called after final filter application to report on unexpected situations encountered. More... | |
Detailed Description
Base class for filtering goals.
Definition at line 44 of file cover_filter.h.
Constructor & Destructor Documentation
◆ ~goal_filter_baset()
|
inlinevirtual |
Definition at line 47 of file cover_filter.h.
Member Function Documentation
◆ operator()()
|
pure virtual |
Returns true if the goal passes the filter criteria.
Implemented in internal_goals_filtert.
◆ report_anomalies()
|
inlinevirtual |
Can be called after final filter application to report on unexpected situations encountered.
Definition at line 56 of file cover_filter.h.
The documentation for this class was generated from the following file:
- /home/runner/work/cbmc/cbmc/src/goto-instrument/cover_filter.h
