Mercurial > hg > Applications > JavaLite
changeset 82:aebc899bdc62
*** empty log message ***
author | kono |
---|---|
date | Thu, 17 Jan 2008 18:49:34 +0900 |
parents | 400185be1a60 |
children | 66719d0834f3 |
files | src/sbdd/SBDDSet.java src/sbdd/SBDDTest.java |
diffstat | 2 files changed, 13 insertions(+), 4 deletions(-) [+] |
line wrap: on
line diff
--- a/src/sbdd/SBDDSet.java Thu Jan 17 15:00:37 2008 +0900 +++ b/src/sbdd/SBDDSet.java Thu Jan 17 18:49:34 2008 +0900 @@ -9,6 +9,12 @@ import lite.ITLSolver; public class SBDDSet extends AbstractSet<Entry<ITLSolver, SBDDEntry>> { + + /* + * Hash Table for Subterm BDD + * this is also State DB with SBDDEntry + */ + public SBDDEntry[] sbddArray ; public int hash; private int hash0; @@ -16,7 +22,9 @@ public Object lastEntry; SBDDFactory sf; int size = 0; - private int order = 10; + // Multiple SBDDSet is not recomended, but just in case, we make variable + // order is shared among existing SBDDSet. + private static int order = 10; SBDDSet() { sbddArray = new SBDDEntry [hashSize];
--- a/src/sbdd/SBDDTest.java Thu Jan 17 15:00:37 2008 +0900 +++ b/src/sbdd/SBDDTest.java Thu Jan 17 18:49:34 2008 +0900 @@ -19,7 +19,7 @@ //test.satTest(); test.verifyTest(); //test.mainLoop(); - test.bddTest(); + //test.bddTest(); } @@ -91,9 +91,10 @@ //sat.showVerify("a?(x;(b?x:c)):false"); // sat.showVerify("+(a & b)"); //System.out.println(sat.state); - sat.p.parse("include('data/example')."); + //sat.p.parse("include('data/example')."); //System.out.println(p.parseCommand.sat.state); - sat.p.parse("do(10)"); + //sat.p.parse("do(10)"); + sat.showVerify("length(2),[]p"); } public void mainLoop() {