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() (goto_programt::const_targett target) const
Public Member Functions inherited from slicing_criteriont
virtual	~slicing_criteriont ()

Protected Attributes
const irep_idt	target_function

Detailed Description

Definition at line 118 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 121 of file full_slicer_class.h.

Member Function Documentation

operator()()

virtual bool in_function_criteriont::operator() ( goto_programt::const_targett  target ) const

inlinevirtual

Implements slicing_criteriont.

Definition at line 126 of file full_slicer_class.h.

Member Data Documentation

target_function

const irep_idt in_function_criteriont::target_function

protected

Definition at line 132 of file full_slicer_class.h.

---

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

• goto-instrument/full_slicer_class.h