select_essential.h File Reference

#include "../SetCover.h"

Include dependency graph for select_essential.h:

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

Go to the source code of this file.

Namespaces
	carl
	carl is the main namespace for the library.
	carl::covering
	carl::covering::heuristic

Functions
Bitset	carl::covering::heuristic::select_essential (SetCover &sc)
	Preprocessing heuristic: Selects essential sets which are the only once covering some element. More...