carl  24.04
Computer ARithmetic Library
remove_duplicates.h
Go to the documentation of this file.
1 #pragma once
2 
3 #include "../SetCover.h"
4 
5 namespace carl::covering::heuristic {
6 
7 /**
8  * Preprocessing heuristic:
9  * Compresses the matrix by removing duplicate columns.
10  * The order of the columns changes!
11  */
12 Bitset remove_duplicates(SetCover& sc);
13 
14 }
carl::covering::heuristic::remove_duplicates
Bitset remove_duplicates(SetCover &sc)
Preprocessing heuristic: Compresses the matrix by removing duplicate columns.
Definition: remove_duplicates.cpp:9