template<class VLabel, class ELabel>
struct faudes::TGraph< VLabel, ELabel >
A graph is modelled as a map from vertex-labels to nodes.
For our use, the vertex-labels are state indicees and each node represents the transitions from the respective state.
Effectively, we implement the following structure graph: map< state-index , node > node: set< node-entrz > node-entry: pair < event-index , graph-iterator > >
For convenience methods addressing the intended ussage, see also the below specialisation.
Definition at line 267 of file cfl_project.cpp.