Re: [bddbddb-devel] Repost: (Mangled Encoding) -findbestorder problem
Status: Beta
Brought to you by:
joewhaley
|
From: Luke S. <ls...@me...> - 2007-11-27 17:10:00
|
I changed the following initializer in FindBestDomainOrder to: public static PrintStream out = System.out; Because it was being read as null by TrialDataRepository, which then caused the problem you are having. Changing the initalizer fixed the problem. On Tue, 2007-11-27 at 14:11 +0000, Alan Ryan wrote: > Hi, this is a repost of last weeks topic, it seems to have been > mangled on the SF page: > > > I am having trouble getting the solver to run the machine learning > algorithm. I have taken a trivial app and run: > > [alan@soma-dt resources]$ java -cp $CLASSPATH:resources/:. -Xmx1024m - > Dpa.dumppath=results/ -Dpa.specialmapinfo=yes -Dpa.dumpunmunged=yes - > Dpa.signaturesinlocs=yes joeq.Main.GenRelations Driver > > This produces the relations as expected. I then want to take > pacs2.datalogsupplied in bddbdb_examples and run it. I comment out > the .bddnodes & > .bddcache & .bddvarorder directives (same error if I don't do this) in > pacs2.datalog and then run: > > [alan@soma-dt resources]$ java -cp $CLASSPATH:resources/:. -Xmx1024m - > Dpa.dumppath=results/ -Dfindbestorder -Dfbotrials=700 -Dbddnodes=100000 > -Dbddvarorder= net.sf.bddbddb.Solver pacs2.datalog > > This gives me: > (the entire output is attached, libbuddy.so is not loading for me, I get an > 'unsatisifed link error : addRef' when I put in the directory I am executing > from. I haven't tried to solve this.) > > > > Exception in thread "main" java.lang.NullPointerException > at net.sf.bddbddb.order.TrialData > Repository.buildAttribInstances( > TrialDataRepository.java:79) > at net.sf.bddbddb.order.TrialDataRepository.getAttribDataGroup( > TrialDataRepository.java:153) > at net.sf.bddbddb.FindBestDomainOrder.tryNewGoodOrder( > FindBestDomainOrder.java:777) > at net.sf.bddbddb.FindBestDomainOrder.hasOrdersToTry( > FindBestDomainOrder.java:602) > at net.sf.bddbddb.FindBestDomainOrder.findBestDomainOrder( > FindBestDomainOrder.java:2065) > at net.sf.bddbddb.BDDInferenceRule.evalRelations( > BDDInferenceRule.java:480) > at net.sf.bddbddb.BDDInferenceRule.update(BDDInferenceRule.java:373) > at net.sf.bddbddb.ir.BDDInterpreter.interpret(BDDInterpreter.java > :70) > at net.sf.bddbddb.ir.BDDInterpreter.interpret(BDDInterpreter.java > :50) > at net.sf.bddbddb.BDDSolver.solve(BDDSolver.java:395) > at net.sf.bddbddb.Solver.run(Solver.java:388) > at net.sf.bddbddb.Solver.main2(Solver.java:441) > at net.sf.bddbddb.Solver.main(Solver.java:1108) > > > > > What am I doing wrong here - I cannot seem to get the results that Luke was > getting in his email regarding the same? > > > > Thanks, > Alan > |