trivial.cpp File Reference

#include "trivial.h"
#include <carl-common/datastructures/Bitset.h>

Include dependency graph for trivial.cpp:

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::trivial (SetCover &sc)
	Trivial heuristic: select all sets. More...