carl  24.04
Computer ARithmetic Library
trivial.h File Reference
#include "../SetCover.h"
Include dependency graph for trivial.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::trivial (SetCover &sc)
 Trivial heuristic: select all sets. More...