46 std::deque<vertex>& _deque_levels_true)
47 : map_levels_true(_map_levels_true), deque_levels_true(_deque_levels_true)
level_constructor(std::map< vertex, unsigned int > &_map_levels_true, std::deque< vertex > &_deque_levels_true)
Constructor.
Data structore used to build the topological order of the operations vertices.
std::map< vertex, unsigned int > & map_levels_true
Map vertex to position in topological order; in the sorting then part vertices come before else part ...
std::deque< vertex > & deque_levels_true
List of vertices sorted by topological order; in the sorting then part vertices come before else part...
boost::graph_traits< graph >::vertex_descriptor vertex
vertex definition.
~level_constructor()
Destructor.
void add(vertex v, unsigned int index)
Add a vertex to the deque and to the map.