projects
/
tatoo.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
ef59263
)
Cosmetic changes.
author
Kim Nguyễn
<kn@lri.fr>
Tue, 23 Apr 2013 13:03:33 +0000
(15:03 +0200)
committer
Kim Nguyễn
<kn@lri.fr>
Tue, 23 Apr 2013 13:03:33 +0000
(15:03 +0200)
src/eval.ml
patch
|
blob
|
history
diff --git
a/src/eval.ml
b/src/eval.ml
index
23d1685
..
d0961d7
100644
(file)
--- a/
src/eval.ml
+++ b/
src/eval.ml
@@
-14,7
+14,7
@@
(***********************************************************************)
(*
(***********************************************************************)
(*
- Time-stamp: <Last modified on 2013-04-2
2 18:25:49
CEST by Kim Nguyen>
+ Time-stamp: <Last modified on 2013-04-2
3 14:53:43
CEST by Kim Nguyen>
*)
INCLUDE "utils.ml"
*)
INCLUDE "utils.ml"
@@
-62,7
+62,8
@@
END
let c = get cache tree node in
if c == Cache.N1.dummy cache then
Ata.Config.make
let c = get cache tree node in
if c == Cache.N1.dummy cache then
Ata.Config.make
- { c.Ata.Config.node with Ata.todo = Ata.get_trans auto tag auto.Ata.states;
+ { c.Ata.Config.node with
+ Ata.todo = Ata.get_trans auto tag auto.Ata.states;
summary = Ata.node_summary
(node == T.first_child tree parent) (* is_left *)
(node == T.next_sibling tree parent) (* is_right *)
summary = Ata.node_summary
(node == T.first_child tree parent) (* is_left *)
(node == T.next_sibling tree parent) (* is_right *)
@@
-114,10
+115,10
@@
END
let acc0 = loop (T.next_sibling tree node) acc in
let acc1 = loop (T.first_child tree node) acc0 in
let acc0 = loop (T.next_sibling tree node) acc in
let acc1 = loop (T.first_child tree node) acc0 in
- if StateSet.intersect
(get cache tree node).Ata.Config.node.Ata.sat auto.Ata.selection_states then
- node::acc1
- else
-
acc1
+ if StateSet.intersect
+ (get cache tree node).Ata.Config.node.Ata.sat
+ auto.Ata.selection_states then node::acc1
+
else
acc1
in
loop node []
in
loop node []