atlas
0.6
|
Classes | |
class | Poset |
Represents a poset by the matrix of order relations. More... | |
Typedefs | |
typedef std::pair< set::Elt, set::Elt > | Link |
Functions | |
unsigned long | n_comparable_from_Hasse (const std::vector< set::EltList > &hasse) |
typedef std::pair< set::Elt, set::Elt > atlas::poset::Link |
unsigned long atlas::poset::n_comparable_from_Hasse | ( | const std::vector< set::EltList > & | hasse | ) |