pruning Directory Reference

Directory dependency graph for pruning:

Files
	limited_pruning.h
	null_pruning_method.h
	stubborn_sets.h
	stubborn_sets_action_centric.h
	stubborn_sets_atom_centric.h
	stubborn_sets_ec.h
	stubborn_sets_simple.h