carl  24.04
Computer ARithmetic Library
carl::covering Namespace Reference

Namespaces

 heuristic
 

Data Structures

class  SetCover
 Represents a set cover problem. More...
 
class  TypedSetCover
 Represents a set cover problem where a set is represented by some type. More...
 

Functions

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

Function Documentation

◆ operator<<() [1/2]

std::ostream & carl::covering::operator<< ( std::ostream &  os,
const SetCover sc 
)

Print the set cover to os.

Definition at line 94 of file SetCover.cpp.

◆ operator<<() [2/2]

template<typename T >
std::ostream& carl::covering::operator<< ( std::ostream &  os,
const TypedSetCover< T > &  tsc 
)

Print the typed set cover to os.

Definition at line 78 of file TypedSetCover.h.