#include <goto-programs/goto_program.h>

Include dependency graph for reachability_slicer_class.h:

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

Classes
class	reachability_slicert

struct	reachability_slicert::slicer_entryt

struct	reachability_slicert::search_stack_entryt
	A search stack entry, used in tracking nodes to mark reachable when walking over the CFG in `fixedpoint_to_assertions` and `fixedpoint_from_assertions`. More...

Detailed Description

Goto Program Slicing

Classes