remove_duplicates.cpp File Reference

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

Include dependency graph for remove_duplicates.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::remove_duplicates (SetCover &sc)
	Preprocessing heuristic: Compresses the matrix by removing duplicate columns. More...