projects
/
tatoo.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
* Seal the representation of states
[tatoo.git]
/
src
/
run.ml
diff --git
a/src/run.ml
b/src/run.ml
index
be8bbeb
..
0ae25f9
100644
(file)
--- a/
src/run.ml
+++ b/
src/run.ml
@@
-66,7
+66,7
@@
struct
((Obj.magic kind) lsl 4)
end
((Obj.magic kind) lsl 4)
end
-let dummy_set = StateSet.singleton State.dummy
+let dummy_set = StateSet.singleton State.dummy
_state
@@
-107,9
+107,9
@@
type 'a run = {
stats : stats;
}
stats : stats;
}
-let dummy_form = Ata.Formula.stay State.dummy
+let dummy_form = Ata.Formula.stay State.dummy
_state
-let get_form run tag
q
=
+let get_form run tag
(q : State.t)
=
let auto = run.auto in
let fetch_trans_cache = run.fetch_trans_cache in
let stats = run.stats in
let auto = run.auto in
let fetch_trans_cache = run.fetch_trans_cache in
let stats = run.stats in
@@
-211,7
+211,7
@@
struct
{
tree = tree;
auto = auto;
{
tree = tree;
auto = auto;
- sat = (let a = Array.
creat
e len StateSet.empty in
+ sat = (let a = Array.
mak
e len StateSet.empty in
IFHTML([a], a));
pass = 0;
fetch_trans_cache = Cache.N2.create dummy_form;
IFHTML([a], a));
pass = 0;
fetch_trans_cache = Cache.N2.create dummy_form;