+ int nb_edges =
+ // The edges from the source to the first frame, and from the last
+ // frame to the sink
+ _nb_locations * 2 +
+ // The edges from the source to the entrances and from the exists
+ // to the sink (in every time frames but the first for the source,
+ // and last for the exits)
+ (_nb_time_steps - 1) * (nb_exits + nb_entrances) +
+ // The edges for the motions, between every pair of successive
+ // frames
+ (_nb_time_steps - 1) * nb_motions +
+ // The edges inside the duplicated nodes
+ _nb_locations * _nb_time_steps;
+