carl  24.04
Computer ARithmetic Library
remove_duplicates.h File Reference
#include "../SetCover.h"
Include dependency graph for remove_duplicates.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::remove_duplicates (SetCover &sc)
 Preprocessing heuristic: Compresses the matrix by removing duplicate columns. More...