Re: [bddbddb-devel] Repost: (Mangled Encoding) -findbestorder problem

[Luke S. <ls...@me...>]

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
>