+ // Edges from the source to the first frame
+ if(force_empty_first_frame) {
+ nb_edges += nb_entrances;
+ } else {
+ nb_edges += nb_locations;
+ }
+
+ // Edges from the last frame to the sink
+ if(force_empty_last_frame) {
+ nb_edges += nb_exits;
+ } else {
+ nb_edges += nb_locations;
+ }
+