cprover
slicing_criteriont Class Referenceabstract

#include <full_slicer.h>

+ Inheritance diagram for slicing_criteriont:

Public Member Functions

virtual ~slicing_criteriont ()
 
virtual bool operator() (goto_programt::const_targett) const =0
 

Detailed Description

Definition at line 32 of file full_slicer.h.

Constructor & Destructor Documentation

◆ ~slicing_criteriont()

slicing_criteriont::~slicing_criteriont ( )
virtual

Definition at line 407 of file full_slicer.cpp.

Member Function Documentation

◆ operator()()

virtual bool slicing_criteriont::operator() ( goto_programt::const_targett  ) const
pure virtual

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