Filters out CPROVER internal functions. More...

Inheritance diagram for internal_functions_filtert:

Collaboration diagram for internal_functions_filtert:

Public Member Functions
bool	operator() (const symbolt &identifier, const goto_functionst::goto_functiont &goto_function) const override
	Filter out functions that are not considered provided by the user. More...

Public Member Functions inherited from function_filter_baset
virtual	~function_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 CPROVER internal functions.

Definition at line 134 of file cover_filter.h.

Member Function Documentation

bool internal_functions_filtert::operator()	(	const symbolt &	function,
		const goto_functionst::goto_functiont &	goto_function
	)		const

overridevirtual

Filter out functions that are not considered provided by the user.

Parameters

function	the function under consideration
goto_function	a goto function

Definition at line 23 of file cover_filter.cpp.

The documentation for this class was generated from the following files: