Mercurial > hg > Applications > JavaLite

comparison Changes @ 88:6b3535ea6958

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
*** empty log message ***
author kono
date Fri, 18 Jan 2008 16:00:37 +0900
parents f69763106257
children d10040e1c096
comparison
equal deleted inserted replaced
87:40d37728c803 88:6b3535ea6958
1 Fri Jan 18 14:19:49 JST 2008
2
3 SBDDSet をクリアするには、new SBDDFactory() すれば良いらしい。
4 subterms は、既に、ITLSolver (SBDDSet のkey)にセットされていて、
5 それをclear するのは難しいが、そのまま放置すれば重なることはない
6 ので、害はない。
7
8 new SBDDFactory() して、old SBDDSet の key order を修正して、
9 新しくBDDを構築してやれば、key のreorder が可能。key order
10 を修正しても hash は変わらないので、hash table 中の位置は変
11 わらない。と言うことは、variable reorder では、SBDDSet を新
12 しく作る必要はないということか...
13
14 ということは、BDDの大きさはHashTable の大きさとは関係ない
15 ということか! すべてのBDDがHashに登録されるんじゃないの?
16 reorder で使われなくなるBDDがあるってことなのか。ということは、
17 やっぱり、SBDDSet は変更されるということなのね。いや、
18 subterm は不変であって、pure BDD term は変わるということか。
19 確かに、
20 Number of BDD: 223
21 Number of Subterm: 81
22 なので、Subterm の方が少ない。
23
24 done in 36751msec
25 -> show.
26 All Edges: 283053
27 Number of BDD: 1802
28 Number of Subterm: 176
29 Reachable state: 1366
30
31 あ、なんか遅くなった。
32
1 Thu Jan 17 23:50:12 JST 2008 33 Thu Jan 17 23:50:12 JST 2008
34
35 do(20).
36 done in 18762msec
37 exe.
38 0:483: [~empty,al,~ar,~bl,~br,cl,~cr,~dl,~dr,~el,~er]
39 1:495: [~empty,~bl,~br,ar,al,cl,cr,~dl,~dr,el,~er]
40 2:515: [~empty,~bl,~br,ar,~al,cr,~cl,~dl,~dr,el,er]
41 3:565: [~empty,bl,~br,~ar,~al,~cl,~cr,dl,~dr,er,~el]
42 4:666: [~empty,~al,~ar,~cl,~cr,br,bl,dr,~el,dl,er]
43 5:1112: [empty,~al,ar,~cl,cr,~bl,br,~dl,dr,~el]
2 44
3 diag, exe も、なんとなく動いているし、MainLoop に、jar のresource 45 diag, exe も、なんとなく動いているし、MainLoop に、jar のresource
4 からの読み込みも出来たし。ほとんど、終った気がする。いろいろ謎な 46 からの読み込みも出来たし。ほとんど、終った気がする。いろいろ謎な
5 部分は残っているけど。 47 部分は残っているけど。
6 48