assert_criteriont Class Reference

#include <full_slicer_class.h>

Inheritance diagram for assert_criteriont:

Collaboration diagram for assert_criteriont:

Public Member Functions
virtual bool	operator() (const irep_idt &, goto_programt::const_targett target) const
Public Member Functions inherited from slicing_criteriont
virtual	~slicing_criteriont ()

Detailed Description

Definition at line 110 of file full_slicer_class.h.

Member Function Documentation

operator()()

virtual bool assert_criteriont::operator() ( const irep_idt &  , goto_programt::const_targett  target  ) const

inlinevirtual

Implements slicing_criteriont.

Definition at line 114 of file full_slicer_class.h.

---

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

• /home/runner/work/cbmc-documentation/cbmc-documentation/src/goto-instrument/full_slicer_class.h