Menu
▾
▴
Re: [Choco-users] null pointer exception in abstractconstraint.addListner(Unknown Source)
|
From: <gro...@em...> - 2005-03-24 10:59:42
|
Dear Patrick and Choco users, You pointed a Choco bug in large boolean constraints. I think I fixed it. I now have the following result when running your example (Umatrix.main()) : (CCR:1,((((LCO:1,OGE:1)6:1,OGU:1)5:1,(LWI:1,LPA:1)7:1)3:1,(FCA:1,(LTI:1,(((PAU:1,CCA:1)7:1,LSE:1)6:1,(PCO:1,AJU:1)6:1,PTE:1,(PMA:1,(LRU:1,LCA:1)8:1)6:1)5:1,((PTI:1,NNE:1)8:1,(PUN:1,PON:1,(PPA:1,PLE:1)9:1)8:1)7:1)4:1)3:1)2:1)1:1; (CCR:1,((((LCO:1,OGE:1)6:1,OGU:1)5:1,(LWI:1,LPA:1)7:1)3:1,(FCA:1,((LTI:1,((PAU:1,CCA:1)7:1,LSE:1)6:1,(PCO:1,AJU:1)6:1,PTE:1,(PMA:1,(LRU:1,LCA:1)8:1)6:1)5:1,((PTI:1,NNE:1)8:1,(PUN:1,PON:1,(PPA:1,PLE:1)9:1)8:1)7:1)4:1)3:1)2:1)1:1; (CCR:1,((((LCO:1,OGE:1)6:1,OGU:1)5:1,(LWI:1,LPA:1)7:1)3:1,(FCA:1,(((LTI:1,(PAU:1,CCA:1)7:1,LSE:1)6:1,(PCO:1,AJU:1)6:1,PTE:1,(PMA:1,(LRU:1,LCA:1)8:1)6:1)5:1,((PTI:1,NNE:1)8:1,(PUN:1,PON:1,(PPA:1,PLE:1)9:1)8:1)7:1)4:1)3:1)2:1)1:1; (CCR:1,((((LCO:1,OGE:1)6:1,OGU:1)5:1,(LWI:1,LPA:1)7:1)3:1,(FCA:1,((((LTI:1,PAU:1,CCA:1)7:1,LSE:1)6:1,(PCO:1,AJU:1)6:1,PTE:1,(PMA:1,(LRU:1,LCA:1)8:1)6:1)5:1,((PTI:1,NNE:1)8:1,(PUN:1,PON:1,(PPA:1,PLE:1)9:1)8:1)7:1)4:1)3:1)2:1)1:1; (CCR:1,((((LCO:1,OGE:1)6:1,OGU:1)5:1,(LWI:1,LPA:1)7:1)3:1,(FCA:1,(((((LTI:1,PAU:1)8:1,CCA:1)7:1,LSE:1)6:1,(PCO:1,AJU:1)6:1,PTE:1,(PMA:1,(LRU:1,LCA:1)8:1)6:1)5:1,((PTI:1,NNE:1)8:1,(PUN:1,PON:1,(PPA:1,PLE:1)9:1)8:1)7:1)4:1)3:1)2:1)1:1; (CCR:1,((((LCO:1,OGE:1)6:1,OGU:1)5:1,(LWI:1,LPA:1)7:1)3:1,(FCA:1,(((((LTI:1,PAU:1)9:1,CCA:1)7:1,LSE:1)6:1,(PCO:1,AJU:1)6:1,PTE:1,(PMA:1,(LRU:1,LCA:1)8:1)6:1)5:1,((PTI:1,NNE:1)8:1,(PUN:1,PON:1,(PPA:1,PLE:1)9:1)8:1)7:1)4:1)3:1)2:1)1:1; (CCR:1,((((LCO:1,OGE:1)6:1,OGU:1)5:1,(LWI:1,LPA:1)7:1)3:1,(FCA:1,((((PAU:1,(LTI:1,CCA:1)8:1)7:1,LSE:1)6:1,(PCO:1,AJU:1)6:1,PTE:1,(PMA:1,(LRU:1,LCA:1)8:1)6:1)5:1,((PTI:1,NNE:1)8:1,(PUN:1,PON:1,(PPA:1,PLE:1)9:1)8:1)7:1)4:1)3:1)2:1)1:1; (CCR:1,((((LCO:1,OGE:1)6:1,OGU:1)5:1,(LWI:1,LPA:1)7:1)3:1,(FCA:1,((((PAU:1,(LTI:1,CCA:1)9:1)7:1,LSE:1)6:1,(PCO:1,AJU:1)6:1,PTE:1,(PMA:1,(LRU:1,LCA:1)8:1)6:1)5:1,((PTI:1,NNE:1)8:1,(PUN:1,PON:1,(PPA:1,PLE:1)9:1)8:1)7:1)4:1)3:1)2:1)1:1; (CCR:1,((((LCO:1,OGE:1)6:1,OGU:1)5:1,(LWI:1,LPA:1)7:1)3:1,(FCA:1,((((PAU:1,CCA:1)7:1,(LTI:1,LSE:1)7:1)6:1,(PCO:1,AJU:1)6:1,PTE:1,(PMA:1,(LRU:1,LCA:1)8:1)6:1)5:1,((PTI:1,NNE:1)8:1,(PUN:1,PON:1,(PPA:1,PLE:1)9:1)8:1)7:1)4:1)3:1)2:1)1:1; (CCR:1,((((LCO:1,OGE:1)6:1,OGU:1)5:1,(LWI:1,LPA:1)7:1)3:1,(FCA:1,((((PAU:1,CCA:1)7:1,(LTI:1,LSE:1)8:1)6:1,(PCO:1,AJU:1)6:1,PTE:1,(PMA:1,(LRU:1,LCA:1)8:1)6:1)5:1,((PTI:1,NNE:1)8:1,(PUN:1,PON:1,(PPA:1,PLE:1)9:1)8:1)7:1)4:1)3:1)2:1)1:1; (CCR:1,((((LCO:1,OGE:1)6:1,OGU:1)5:1,(LWI:1,LPA:1)7:1)3:1,(FCA:1,((((PAU:1,CCA:1)7:1,(LTI:1,LSE:1)9:1)6:1,(PCO:1,AJU:1)6:1,PTE:1,(PMA:1,(LRU:1,LCA:1)8:1)6:1)5:1,((PTI:1,NNE:1)8:1,(PUN:1,PON:1,(PPA:1,PLE:1)9:1)8:1)7:1)4:1)3:1)2:1)1:1; (CCR:1,((((LCO:1,OGE:1)6:1,OGU:1)5:1,(LWI:1,LPA:1)7:1)3:1,(FCA:1,((((PAU:1,CCA:1)7:1,LSE:1)6:1,(LTI:1,PCO:1,AJU:1)6:1,PTE:1,(PMA:1,(LRU:1,LCA:1)8:1)6:1)5:1,((PTI:1,NNE:1)8:1,(PUN:1,PON:1,(PPA:1,PLE:1)9:1)8:1)7:1)4:1)3:1)2:1)1:1; (CCR:1,((((LCO:1,OGE:1)6:1,OGU:1)5:1,(LWI:1,LPA:1)7:1)3:1,(FCA:1,((((PAU:1,CCA:1)7:1,LSE:1)6:1,((LTI:1,PCO:1)7:1,AJU:1)6:1,PTE:1,(PMA:1,(LRU:1,LCA:1)8:1)6:1)5:1,((PTI:1,NNE:1)8:1,(PUN:1,PON:1,(PPA:1,PLE:1)9:1)8:1)7:1)4:1)3:1)2:1)1:1; (CCR:1,((((LCO:1,OGE:1)6:1,OGU:1)5:1,(LWI:1,LPA:1)7:1)3:1,(FCA:1,((((PAU:1,CCA:1)7:1,LSE:1)6:1,((LTI:1,PCO:1)8:1,AJU:1)6:1,PTE:1,(PMA:1,(LRU:1,LCA:1)8:1)6:1)5:1,((PTI:1,NNE:1)8:1,(PUN:1,PON:1,(PPA:1,PLE:1)9:1)8:1)7:1)4:1)3:1)2:1)1:1; (CCR:1,((((LCO:1,OGE:1)6:1,OGU:1)5:1,(LWI:1,LPA:1)7:1)3:1,(FCA:1,((((PAU:1,CCA:1)7:1,LSE:1)6:1,((LTI:1,PCO:1)9:1,AJU:1)6:1,PTE:1,(PMA:1,(LRU:1,LCA:1)8:1)6:1)5:1,((PTI:1,NNE:1)8:1,(PUN:1,PON:1,(PPA:1,PLE:1)9:1)8:1)7:1)4:1)3:1)2:1)1:1; (CCR:1,((((LCO:1,OGE:1)6:1,OGU:1)5:1,(LWI:1,LPA:1)7:1)3:1,(FCA:1,((((PAU:1,CCA:1)7:1,LSE:1)6:1,(PCO:1,(LTI:1,AJU:1)7:1)6:1,PTE:1,(PMA:1,(LRU:1,LCA:1)8:1)6:1)5:1,((PTI:1,NNE:1)8:1,(PUN:1,PON:1,(PPA:1,PLE:1)9:1)8:1)7:1)4:1)3:1)2:1)1:1; (CCR:1,((((LCO:1,OGE:1)6:1,OGU:1)5:1,(LWI:1,LPA:1)7:1)3:1,(FCA:1,((((PAU:1,CCA:1)7:1,LSE:1)6:1,(PCO:1,(LTI:1,AJU:1)8:1)6:1,PTE:1,(PMA:1,(LRU:1,LCA:1)8:1)6:1)5:1,((PTI:1,NNE:1)8:1,(PUN:1,PON:1,(PPA:1,PLE:1)9:1)8:1)7:1)4:1)3:1)2:1)1:1; (CCR:1,((((LCO:1,OGE:1)6:1,OGU:1)5:1,(LWI:1,LPA:1)7:1)3:1,(FCA:1,((((PAU:1,CCA:1)7:1,LSE:1)6:1,(PCO:1,(LTI:1,AJU:1)9:1)6:1,PTE:1,(PMA:1,(LRU:1,LCA:1)8:1)6:1)5:1,((PTI:1,NNE:1)8:1,(PUN:1,PON:1,(PPA:1,PLE:1)9:1)8:1)7:1)4:1)3:1)2:1)1:1; (CCR:1,((((LCO:1,OGE:1)6:1,OGU:1)5:1,(LWI:1,LPA:1)7:1)3:1,(FCA:1,((((PAU:1,CCA:1)7:1,LSE:1)6:1,(PCO:1,AJU:1)6:1,(LTI:1,PTE:1)6:1,(PMA:1,(LRU:1,LCA:1)8:1)6:1)5:1,((PTI:1,NNE:1)8:1,(PUN:1,PON:1,(PPA:1,PLE:1)9:1)8:1)7:1)4:1)3:1)2:1)1:1; (CCR:1,((((LCO:1,OGE:1)6:1,OGU:1)5:1,(LWI:1,LPA:1)7:1)3:1,(FCA:1,((((PAU:1,CCA:1)7:1,LSE:1)6:1,(PCO:1,AJU:1)6:1,(LTI:1,PTE:1)7:1,(PMA:1,(LRU:1,LCA:1)8:1)6:1)5:1,((PTI:1,NNE:1)8:1,(PUN:1,PON:1,(PPA:1,PLE:1)9:1)8:1)7:1)4:1)3:1)2:1)1:1; (CCR:1,((((LCO:1,OGE:1)6:1,OGU:1)5:1,(LWI:1,LPA:1)7:1)3:1,(FCA:1,((((PAU:1,CCA:1)7:1,LSE:1)6:1,(PCO:1,AJU:1)6:1,(LTI:1,PTE:1)8:1,(PMA:1,(LRU:1,LCA:1)8:1)6:1)5:1,((PTI:1,NNE:1)8:1,(PUN:1,PON:1,(PPA:1,PLE:1)9:1)8:1)7:1)4:1)3:1)2:1)1:1; (CCR:1,((((LCO:1,OGE:1)6:1,OGU:1)5:1,(LWI:1,LPA:1)7:1)3:1,(FCA:1,((((PAU:1,CCA:1)7:1,LSE:1)6:1,(PCO:1,AJU:1)6:1,(LTI:1,PTE:1)9:1,(PMA:1,(LRU:1,LCA:1)8:1)6:1)5:1,((PTI:1,NNE:1)8:1,(PUN:1,PON:1,(PPA:1,PLE:1)9:1)8:1)7:1)4:1)3:1)2:1)1:1; (CCR:1,((((LCO:1,OGE:1)6:1,OGU:1)5:1,(LWI:1,LPA:1)7:1)3:1,(FCA:1,((((PAU:1,CCA:1)7:1,LSE:1)6:1,(PCO:1,AJU:1)6:1,PTE:1,(LTI:1,PMA:1,(LRU:1,LCA:1)8:1)6:1)5:1,((PTI:1,NNE:1)8:1,(PUN:1,PON:1,(PPA:1,PLE:1)9:1)8:1)7:1)4:1)3:1)2:1)1:1; (CCR:1,((((LCO:1,OGE:1)6:1,OGU:1)5:1,(LWI:1,LPA:1)7:1)3:1,(FCA:1,((((PAU:1,CCA:1)7:1,LSE:1)6:1,(PCO:1,AJU:1)6:1,PTE:1,((LTI:1,PMA:1)7:1,(LRU:1,LCA:1)8:1)6:1)5:1,((PTI:1,NNE:1)8:1,(PUN:1,PON:1,(PPA:1,PLE:1)9:1)8:1)7:1)4:1)3:1)2:1)1:1; (CCR:1,((((LCO:1,OGE:1)6:1,OGU:1)5:1,(LWI:1,LPA:1)7:1)3:1,(FCA:1,((((PAU:1,CCA:1)7:1,LSE:1)6:1,(PCO:1,AJU:1)6:1,PTE:1,((LTI:1,PMA:1)8:1,(LRU:1,LCA:1)8:1)6:1)5:1,((PTI:1,NNE:1)8:1,(PUN:1,PON:1,(PPA:1,PLE:1)9:1)8:1)7:1)4:1)3:1)2:1)1:1; (CCR:1,((((LCO:1,OGE:1)6:1,OGU:1)5:1,(LWI:1,LPA:1)7:1)3:1,(FCA:1,((((PAU:1,CCA:1)7:1,LSE:1)6:1,(PCO:1,AJU:1)6:1,PTE:1,((LTI:1,PMA:1)9:1,(LRU:1,LCA:1)8:1)6:1)5:1,((PTI:1,NNE:1)8:1,(PUN:1,PON:1,(PPA:1,PLE:1)9:1)8:1)7:1)4:1)3:1)2:1)1:1; (CCR:1,((((LCO:1,OGE:1)6:1,OGU:1)5:1,(LWI:1,LPA:1)7:1)3:1,(FCA:1,((((PAU:1,CCA:1)7:1,LSE:1)6:1,(PCO:1,AJU:1)6:1,PTE:1,(PMA:1,(LTI:1,(LRU:1,LCA:1)8:1)7:1)6:1)5:1,((PTI:1,NNE:1)8:1,(PUN:1,PON:1,(PPA:1,PLE:1)9:1)8:1)7:1)4:1)3:1)2:1)1:1; (CCR:1,((((LCO:1,OGE:1)6:1,OGU:1)5:1,(LWI:1,LPA:1)7:1)3:1,(FCA:1,((((PAU:1,CCA:1)7:1,LSE:1)6:1,(PCO:1,AJU:1)6:1,PTE:1,(PMA:1,(LTI:1,LRU:1,LCA:1)8:1)6:1)5:1,((PTI:1,NNE:1)8:1,(PUN:1,PON:1,(PPA:1,PLE:1)9:1)8:1)7:1)4:1)3:1)2:1)1:1; (CCR:1,((((LCO:1,OGE:1)6:1,OGU:1)5:1,(LWI:1,LPA:1)7:1)3:1,(FCA:1,((((PAU:1,CCA:1)7:1,LSE:1)6:1,(PCO:1,AJU:1)6:1,PTE:1,(PMA:1,((LTI:1,LRU:1)9:1,LCA:1)8:1)6:1)5:1,((PTI:1,NNE:1)8:1,(PUN:1,PON:1,(PPA:1,PLE:1)9:1)8:1)7:1)4:1)3:1)2:1)1:1; (CCR:1,((((LCO:1,OGE:1)6:1,OGU:1)5:1,(LWI:1,LPA:1)7:1)3:1,(FCA:1,((((PAU:1,CCA:1)7:1,LSE:1)6:1,(PCO:1,AJU:1)6:1,PTE:1,(PMA:1,(LRU:1,(LTI:1,LCA:1)9:1)8:1)6:1)5:1,((PTI:1,NNE:1)8:1,(PUN:1,PON:1,(PPA:1,PLE:1)9:1)8:1)7:1)4:1)3:1)2:1)1:1; feasible: true nbSol: 30 Is it the expected behaviour ? The bug fixes have been added to the CVS version. Feel free to check out it ! Regards, Guillaume Rochart Selon Patrick Prosser <pa...@dc...>: > > I can't track this error down better than this ... my code is here > http://www.dcs.gla.ac.uk/~pat/cp4/JChoco/hrp/ and a call to java Test > hrp_11_5.dat ends up with some sort of null pointer exception in the > jchoco code via choco.AbstractConstraint.addListner(Unknown Source) > > I also have a bizarre error in the following code, specifically file > UMatrix.java http://www.dcs.gla.ac.uk/~pat/cp4/JChoco/speciesTrees/ > Here I have an "ultrametrix" constraint as seen in lines 37 to 41 of > file UMatrix.java. In particular there is a redundant constraint that > when added causes JChoco to bomb out on a ClassCastException. The > redundat constraint is A=B and C>B and C>A. Remove the last of these and > the error goes away! > > I am now going to go home and cry and when I come back to work I am > going to volunteer to take on the duties of our Janitor > > Patrick > > -- > Patrick Prosser tel: +44 141 330 4934 > Computing Science fax: +44 141 330 4913 > Glasgow University mail: pa...@dc... > G12 8RZ > http://www.dcs.gla.ac.uk/~pat <http://www.dcs.gla.ac.uk/~pat> > > > ---------------------------------------------------------------- This message was sent using IMP, the Internet Messaging Program. |
