internal_goals_filtert Class Reference
Filters out goals with source locations considered internal. More...
#include <cover_filter.h>
Inheritance diagram for internal_goals_filtert: Collaboration diagram for internal_goals_filtert:Public Member Functions | |
| bool | operator() (const source_locationt &) const override |
| Filter goals at source locations considered internal. More... | |
| Public Member Functions inherited from goal_filter_baset | |
| virtual | ~goal_filter_baset () |
| virtual void | report_anomalies () const |
| Can be called after final filter application to report on unexpected situations encountered. More... | |
Detailed Description
Filters out goals with source locations considered internal.
Definition at line 198 of file cover_filter.h.
Member Function Documentation
◆ operator()()
|
overridevirtual |
Filter goals at source locations considered internal.
- Parameters
-
source_location source location of the current goal
- Returns
- true : if the given source location is not considered internal
Implements goal_filter_baset.
Definition at line 129 of file cover_filter.cpp.
The documentation for this class was generated from the following files:
- /home/runner/work/cbmc-documentation/cbmc-documentation/src/goto-instrument/cover_filter.h
- /home/runner/work/cbmc-documentation/cbmc-documentation/src/goto-instrument/cover_filter.cpp
