CBMC
slicing_criteriont Class Referenceabstract

#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

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