carl  24.04
Computer ARithmetic Library
trivial.h
Go to the documentation of this file.
1 #pragma once
2 
3 #include "../SetCover.h"
4 
5 namespace carl::covering::heuristic {
6 
7 /// Trivial heuristic: select all sets.
8 Bitset trivial(SetCover& sc);
9 
10 }
carl::covering::heuristic::trivial
Bitset trivial(SetCover &sc)
Trivial heuristic: select all sets.
Definition: trivial.cpp:8