full_slicer_class.h File Reference

Goto Program Slicing. More...

#include <stack>
#include <vector>
#include <list>
#include <goto-programs/goto_functions.h>
#include <goto-programs/cfg.h>
#include <analyses/dependence_graph.h>
#include "full_slicer.h"

Include dependency graph for full_slicer_class.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	full_slicert
struct	full_slicert::cfg_nodet
class	assert_criteriont
class	in_function_criteriont
class	properties_criteriont

Detailed Description

Goto Program Slicing.

Definition in file full_slicer_class.h.