slicing_criteriont Class Reference

#include <full_slicer.h>

Inheritance diagram for slicing_criteriont:

Public Member Functions
virtual	~slicing_criteriont ()
virtual bool	operator() (const irep_idt &function_id, goto_programt::const_targett) const =0

Detailed Description

Definition at line 36 of file full_slicer.h.

Constructor & Destructor Documentation

~slicing_criteriont()

slicing_criteriont::~slicing_criteriont ( )

virtual

Definition at line 392 of file full_slicer.cpp.

Member Function Documentation

operator()()

virtual bool slicing_criteriont::operator() ( const irep_idt &  function_id, goto_programt::const_targett    ) const

pure virtual

Implemented in in_function_criteriont, properties_criteriont, and assert_criteriont.

---

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

• /home/runner/work/cbmc/cbmc/src/goto-instrument/full_slicer.h
• /home/runner/work/cbmc/cbmc/src/goto-instrument/full_slicer.cpp