CBMC
in_function_criteriont Class Reference

#include <full_slicer_class.h>

+ Inheritance diagram for in_function_criteriont:
+ Collaboration diagram for in_function_criteriont:

Public Member Functions

 in_function_criteriont (const std::string &function_name)
 
virtual bool operator() (const irep_idt &function_id, goto_programt::const_targett) const
 
- Public Member Functions inherited from slicing_criteriont
virtual ~slicing_criteriont ()
 

Protected Attributes

const irep_idt target_function
 

Detailed Description

Definition at line 121 of file full_slicer_class.h.

Constructor & Destructor Documentation

◆ in_function_criteriont()

in_function_criteriont::in_function_criteriont ( const std::string &  function_name)
inlineexplicit

Definition at line 124 of file full_slicer_class.h.

Member Function Documentation

◆ operator()()

virtual bool in_function_criteriont::operator() ( const irep_idt function_id,
goto_programt::const_targett   
) const
inlinevirtual

Implements slicing_criteriont.

Definition at line 130 of file full_slicer_class.h.

Member Data Documentation

◆ target_function

const irep_idt in_function_criteriont::target_function
protected

Definition at line 136 of file full_slicer_class.h.


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