carl  24.04
Computer ARithmetic Library
TypedSetCover.h File Reference
#include "SetCover.h"
#include <cassert>
#include <map>
#include <vector>
Include dependency graph for TypedSetCover.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures

class  carl::covering::TypedSetCover< Set >
 Represents a set cover problem where a set is represented by some type. More...
 

Namespaces

 carl
 carl is the main namespace for the library.
 
 carl::covering
 

Functions

template<typename T >
std::ostream & carl::covering::operator<< (std::ostream &os, const TypedSetCover< T > &tsc)
 Print the typed set cover to os. More...