X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Fata.ml;h=8590a8e26cd594d6bf9115cb8d77aa914b17013d;hb=431946f30b0733498ffa731cfa97692b2c942208;hp=ae633d3a60636423ef6ed7187873ef05ca48facb;hpb=ff7893db153ecd86099fab1c71be475dcc8272bf;p=SXSI%2Fxpathcomp.git diff --git a/src/ata.ml b/src/ata.ml index ae633d3..8590a8e 100644 --- a/src/ata.ml +++ b/src/ata.ml @@ -268,14 +268,13 @@ let top_down_approx auto states tree = let get_trans ?(attributes=TagSet.empty) auto states tag = StateSet.fold (fun q acc -> List.fold_left (fun ((tr_acc, l_acc, r_acc) as acc) (ts, tr) -> - let ts = if ts == TagSet.star then TagSet.diff ts attributes else ts - in +(* let ts = if ts == TagSet.star then TagSet.diff ts attributes else ts + in *) let b = TagSet.mem tag ts in - let () = LOG(__ "transition" 3 "tag=<%s>, %s: %a7C" + LOG(__ "transition" 3 "tag=<%s>, %s: %a7C" (Tag.to_string tag) (if b then " taking" else "not taking") - Transition.print tr) - in + Transition.print tr); if b then let _, _, _, f = Transition.node tr in let l, r = Formula.st f in