#include "exact.h"
#include "remove_duplicates.h"
#include "select_essential.h"
#include <carl-logging/carl-logging.h>
#include <carl-common/datastructures/Bitset.h>
#include <optional>

Include dependency graph for exact.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
std::optional< Bitset >	carl::covering::heuristic::exact_of_size (const SetCover &sc, const Bitset &uncovered, const std::vector< std::size_t > &id_map, std::size_t size)

Bitset	carl::covering::heuristic::exact (SetCover &sc)
	Exact "heuristic": Computes a minimum set cover. More...

Namespaces

Functions