diff --git a/a.out b/a.out index e446219..3b127e8 100755 Binary files a/a.out and b/a.out differ diff --git a/graphs.cmi b/graphs.cmi index 1c7c754..bfe425a 100644 Binary files a/graphs.cmi and b/graphs.cmi differ diff --git a/graphs.cmo b/graphs.cmo index 1b70909..f0d2f4d 100644 Binary files a/graphs.cmo and b/graphs.cmo differ diff --git a/graphs.ml b/graphs.ml index 22cf481..00f1d6d 100644 --- a/graphs.ml +++ b/graphs.ml @@ -1358,7 +1358,7 @@ let another_type_of_dijkstra (gr : type2graph) r d = draw_integer (1200-r) (800-r) depth r; if !done_smth then - Unix.sleepf 0.05; + Unix.sleepf 0.5; let node_xy = ((r + (2*r + d)*i), (r + (2*r + d)*j)) in @@ -1416,7 +1416,7 @@ let another_type_of_dijkstra (gr : type2graph) r d = open_graph " 1200x800" ;; set_window_title "Graphs" ;; -let type2 = generate_type2_graph 7 5 40 1 4 ;; +let type2 = generate_type2_graph 7 5 40 1 10 ;; (*another_type_of_graph_printing type2 35 100 true ;;*) (*another_type_of_dfs type2 35 75 ;;*)