poset.cpp File Reference

#include "poset.h"
#include "graph.h"

Include dependency graph for poset.cpp:

Namespaces
	atlas
	atlas::poset

Functions
unsigned long	atlas::poset::n_comparable_from_Hasse (const std::vector< set::EltList > &hasse)

Detailed Description

This is poset.cpp. This file contains a simple-minded implementation of a poset structure, where one explicitly keeps the bit-matrix of the order relation.