carl  24.04
Computer ARithmetic Library
select_essential.cpp File Reference
Include dependency graph for select_essential.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::select_essential (SetCover &sc)
 Preprocessing heuristic: Selects essential sets which are the only once covering some element. More...