X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2Fata.ml;h=2f20b1417067b856aeff85e75b6d5f3add9602aa;hp=add27752c0a75530d254e0b5d8af01b71d149732;hb=021fdd8af4067ec57cdbf5c2dbc903252cbd4707;hpb=7361bb0501a656c2af8417dc1acfeb5613524684

diff --git a/src/ata.ml b/src/ata.ml
index add2775..2f20b14 100644
--- a/src/ata.ml
+++ b/src/ata.ml
@@ -227,7 +227,14 @@ let get_trans a tag states =
   ) states TransList.nil
 
 
-
+let get_form a tag q =
+  try
+    let trs = Hashtbl.find a.transitions q in
+    List.fold_left (fun aphi (labs, phi) ->
+      if QNameSet.mem tag labs then Formula.or_ aphi phi else aphi
+    ) Formula.false_ trs
+  with
+    Not_found -> Formula.false_
 
 (*
   [complete transitions a] ensures that for each state q