projects
/
tatoo.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
- Reorder the keys used to cache transitions
[tatoo.git]
/
src
/
auto
/
ata.ml
diff --git
a/src/auto/ata.ml
b/src/auto/ata.ml
index
419ab57
..
2710465
100644
(file)
--- a/
src/auto/ata.ml
+++ b/
src/auto/ata.ml
@@
-14,7
+14,7
@@
(***********************************************************************)
(*
(***********************************************************************)
(*
- Time-stamp: <Last modified on 2013-03-1
5 23:42:43
CET by Kim Nguyen>
+ Time-stamp: <Last modified on 2013-03-1
6 07:38:04
CET by Kim Nguyen>
*)
INCLUDE "utils.ml"
*)
INCLUDE "utils.ml"
@@
-262,15
+262,13
@@
let int_of_conf is_left is_right has_left has_right kind =
(Obj.magic has_right)
let eval_trans auto ltrs fcs nss ps ss is_left is_right has_left has_right kind =
(Obj.magic has_right)
let eval_trans auto ltrs fcs nss ps ss is_left is_right has_left has_right kind =
- let
i
= int_of_conf is_left is_right has_left has_right kind
+ let
n
= int_of_conf is_left is_right has_left has_right kind
and k = (fcs.StateSet.id :> int)
and l = (nss.StateSet.id :> int)
and k = (fcs.StateSet.id :> int)
and l = (nss.StateSet.id :> int)
- and m = (ps.StateSet.id :> int)
- in
-
+ and m = (ps.StateSet.id :> int) in
let rec loop ltrs ss =
let rec loop ltrs ss =
- let
j
= (ltrs.TransList.id :> int)
- and
n
= (ss.StateSet.id :> int) in
+ let
i
= (ltrs.TransList.id :> int)
+ and
j
= (ss.StateSet.id :> int) in
let (new_ltrs, new_ss) as res =
let res = Cache.N6.find auto.cache6 i j k l m n in
if res == dummy6 then
let (new_ltrs, new_ss) as res =
let res = Cache.N6.find auto.cache6 i j k l m n in
if res == dummy6 then