CAPD RedHom Library
|
#include <capd/complex/HasseDiagram.h>
Classes | |
struct | CellCode |
struct | EdgeSourceIndex |
struct | EdgeTargeIndex |
Public Types | |
typedef DimT | Dim |
typedef ScalarT | Scalar |
typedef boost::adjacency_list< boost::vecS, boost::vecS, boost::bidirectionalS, boost::property< vertex_dimension_t, Dim >, boost::property< edge_coincidence_index_t, Scalar > > | Graph |
typedef boost::graph_traits< Graph >::edge_descriptor | Edge |
typedef boost::graph_traits< Graph >::vertex_descriptor | Vertex |
typedef boost::graph_traits< Graph >::vertex_iterator | VertexIterator |
typedef Vertex | Index |
typedef boost::iterator_range< boost::transform_iterator< Index(*)(const Vertex &), VertexIterator > > | All |
typedef boost::iterator_range< boost::transform_iterator< EdgeTargeIndex, typename boost::graph_traits< Graph >::out_edge_iterator > > | Bd |
typedef boost::iterator_range< boost::transform_iterator< EdgeSourceIndex, typename boost::graph_traits< Graph >::in_edge_iterator > > | Cbd |
Public Member Functions | |
HasseDiagram (size_t size) | |
size_t | size () const |
void | set (const Vertex &v, Dim dim) |
void | connect (const Vertex &u, const Vertex &v, Scalar ci) |
Scalar | coincidence (Index u, Index v) const |
Dim | dim (Index index) const |
Dim | dim () const |
CellCode | operator[] (Index vertex) const |
Index | operator[] (CellCode cellCode) const |
bool | valid (CellCode) const |
All | all () const |
Bd | bd (Index v) const |
Cbd | cbd (Index v) const |
typedef boost::iterator_range<boost::transform_iterator<Index (*)(const Vertex&), VertexIterator> > capd::complex::HasseDiagram< DimT, ScalarT >::All |
typedef boost::iterator_range< boost::transform_iterator<EdgeTargeIndex, typename boost::graph_traits<Graph>::out_edge_iterator> > capd::complex::HasseDiagram< DimT, ScalarT >::Bd |
typedef boost::iterator_range< boost::transform_iterator<EdgeSourceIndex, typename boost::graph_traits<Graph>::in_edge_iterator> > capd::complex::HasseDiagram< DimT, ScalarT >::Cbd |
typedef DimT capd::complex::HasseDiagram< DimT, ScalarT >::Dim |
typedef boost::graph_traits<Graph>::edge_descriptor capd::complex::HasseDiagram< DimT, ScalarT >::Edge |
typedef boost::adjacency_list<boost::vecS, boost::vecS, boost::bidirectionalS, boost::property<vertex_dimension_t, Dim>, boost::property<edge_coincidence_index_t, Scalar> > capd::complex::HasseDiagram< DimT, ScalarT >::Graph |
typedef Vertex capd::complex::HasseDiagram< DimT, ScalarT >::Index |
typedef ScalarT capd::complex::HasseDiagram< DimT, ScalarT >::Scalar |
typedef boost::graph_traits<Graph>::vertex_descriptor capd::complex::HasseDiagram< DimT, ScalarT >::Vertex |
typedef boost::graph_traits<Graph>::vertex_iterator capd::complex::HasseDiagram< DimT, ScalarT >::VertexIterator |
|
inlineexplicit |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |