carl  24.04
Computer ARithmetic Library
select_essential.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  * Selects essential sets which are the only once covering some element.
10  */
11 Bitset select_essential(SetCover& sc);
12 
13 }
carl::covering::heuristic::select_essential
Bitset select_essential(SetCover &sc)
Preprocessing heuristic: Selects essential sets which are the only once covering some element.
Definition: select_essential.cpp:7