X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=ata.ml;h=c3dbc47d685296f18a3d55efe8cbed15ccc75db0;hb=d550133ad7afdf65c5e284c2bcf67a5bdde6faa7;hp=e383e527c18ff46a7d067a333923703c68aaee58;hpb=9df4d963bf2a5a405aca2831c8acd88e85bb0c7b;p=SXSI%2Fxpathcomp.git

diff --git a/ata.ml b/ata.ml
index e383e52..c3dbc47 100644
--- a/ata.ml
+++ b/ata.ml
@@ -160,7 +160,7 @@ struct
       let psize = (size f1) + (size f2) in
       let nsize = (size (not_ f1)) + (size (not_ f2)) in
       let sp,sn = merge_states f1 f2 in
-	fst (cons (Or(f1,f2)) (And(not_ f1,not_ f2)) sp sn psize nsize)
+      fst (cons (Or(f1,f2)) (And(not_ f1,not_ f2)) sp sn psize nsize)
 	      
 	      	      
     let and_ f1 f2 = 
@@ -255,9 +255,9 @@ let dump ppf a =
 	  if TagSet.is_finite ts 
 	  then "{" ^ (TagSet.fold (fun t a -> a ^ " '" ^ (Tag.to_string t)^"'") ts "") ^" }"
 	  else let cts = TagSet.neg ts in
-	    if TagSet.is_empty cts then "*" else
-	    (TagSet.fold (fun t a -> a ^ " " ^ (Tag.to_string t)) cts "*\\{"
-	    )^ "}"
+	  if TagSet.is_empty cts then "*" else
+	  (TagSet.fold (fun t a -> a ^ " " ^ (Tag.to_string t)) cts "*\\{"
+	  )^ "}"
 	in
 	let s = Printf.sprintf "(%s,%i)" s q in
 	let s_frm =
@@ -792,22 +792,24 @@ END
 			 StateSet.print fmt k;
 			 Format.fprintf fmt "-> %i\n" (RS.length d)) c.results;			 
 	    Format.fprintf fmt "\n%!"
-	    
+	      
 	  let merge c1 c2  =
- 	    let acc1 = IMap.fold (fun s r acc -> 
-				    IMap.add s
-				      (try 
-					 RS.concat r (IMap.find s acc)
-				       with
-					 | Not_found -> r) acc) c1.results IMap.empty 
+ 	    let acc1 =
+	      IMap.fold 
+		( fun s r acc ->
+		    IMap.add s
+		      (try 
+			 RS.concat r (IMap.find s acc)
+		       with
+			 | Not_found -> r) acc) c1.results IMap.empty 
 	    in
 	    let imap =
-	      IMap.fold (fun s r acc -> 
-			   IMap.add s
-			     (try 
-				RS.concat r (IMap.find s acc)
-			      with
-				| Not_found -> r) acc)  c2.results acc1
+		IMap.fold (fun s r acc -> 
+			     IMap.add s
+			       (try 
+				  RS.concat r (IMap.find s acc)
+				with
+				  | Not_found -> r) acc)  c2.results acc1
 	    in
 	    let h,s =
 	      Ptss.fold 
@@ -830,25 +832,25 @@ END
 	      |SList.Cons(s,sll), formlist::fll ->
 		 let r',(rb,rb1,rb2,mark) = 
 		   let key = SList.hash sl,Formlist.hash formlist,dir in
-		     try 
-		       Hashtbl.find h_fold key
-		     with
-			 Not_found -> let res = 
-			   if dir then eval_formlist s Ptset.Int.empty formlist
-			   else eval_formlist  Ptset.Int.empty s formlist 
-			 in (Hashtbl.add h_fold key res;res)
+		   try 
+		     Hashtbl.find h_fold key
+		   with
+		      Not_found -> let res = 
+			if dir then eval_formlist s Ptset.Int.empty formlist
+			else eval_formlist  Ptset.Int.empty s formlist 
+		      in (Hashtbl.add h_fold key res;res)
+		 in
+		 if rb && ((dir&&rb1)|| ((not dir) && rb2))
+		 then 
+		 let acc = 
+		   let old_r = 
+		     try Configuration.IMap.find s conf.Configuration.results
+		     with Not_found -> RS.empty
 		   in
-		    if rb && ((dir&&rb1)|| ((not dir) && rb2))
-		    then 
-		      let acc = 
-			let old_r = 
-			  try Configuration.IMap.find s conf.Configuration.results
-			  with Not_found -> RS.empty
-			in
-			  Configuration.add acc r' (if mark then RS.cons t old_r else old_r)			
-		      in
-			loop sll fll acc
-		    else loop sll fll acc
+		   Configuration.add acc r' (if mark then RS.cons t old_r else old_r)			
+		 in
+		 loop sll fll acc
+		 else loop sll fll acc
 	      | _ -> assert false
 	  in
 	    loop slist fl_list Configuration.empty
@@ -882,24 +884,23 @@ END
 	    accu,conf,next 
 	  else
 
-	    let below_right = Tree.is_below_right tree t next in 
-
-	    let accu,rightconf,next_of_next = 	    
-	      if below_right then (* jump to the next *)
-		bottom_up a tree next conf (jump_fun next) jump_fun (Tree.next_sibling tree t) true init accu
-	      else accu,Configuration.empty,next
-	    in 
+	  let below_right = Tree.is_below_right tree t next in 
+	  
+	  let accu,rightconf,next_of_next = 	    
+	    if below_right then (* jump to the next *)
+	    bottom_up a tree next conf (jump_fun next) jump_fun (Tree.next_sibling tree t) true init accu
+	    else accu,Configuration.empty,next
+	  in 
 	  let sub =
 	    if dotd then
-	      if below_right then prepare_topdown a tree t true
-	      else prepare_topdown a tree t false
+	    if below_right then prepare_topdown a tree t true
+	    else prepare_topdown a tree t false
 	    else conf
 	  in
 	  let conf,next =
 	    (Configuration.merge rightconf sub, next_of_next)
 	  in
-	    if t == root then  accu,conf,next 
-	    else	      
+	  if t == root then  accu,conf,next else	      
 	  let parent = Tree.binary_parent tree t in
 	  let ptag = Tree.tag tree parent in
 	  let dir = Tree.is_left tree t in
@@ -915,7 +916,7 @@ END
 	  in
 
 	    bottom_up a tree parent newconf next jump_fun root false init accu
-
+	      
 	and prepare_topdown a tree t noright =
 	  let tag = Tree.tag tree t in
 (*	  pr "Going top down on tree with tag %s = %s "