Cosmetic changes (whitespaces and indentation)

[tatoo.git] / src / ata.ml

diff --git a/src/ata.ml b/src/ata.ml
index 8a13705..190c4c7 100644 (file)
--- a/src/ata.ml
+++ b/src/ata.ml
@@ -445,6 +445,13 @@ let compute_dependencies auto =
 
   edges
 
+let state_prerequisites dir auto q =
+  Hashtbl.fold (fun q' trans acc ->
+    List.fold_left (fun acc (_, phi) ->
+      let m_phi = Formula.get_states_by_move phi in
+      if StateSet.mem q (Move.get m_phi dir)
+      then StateSet.add q' acc else acc)
+      acc trans) auto.transitions StateSet.empty
 
 let compute_rank auto =
   let dependencies = compute_dependencies auto in