fixed a wrong type declaration in QMaxSAT
fixed a few bugs in TreeGrammarDecomposition, regarding the generation of the MinCostSAT Formulation

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@2087 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Major bug fix in TreeGrammarDecomposition: mixed up some indexes of non-terminals, slightly wrong computation of suffKeys, 2 errors in the MinCostSAT formulation found.

The reduction is still not correctly implemented, due to UNSAT of a very simple instance, but converges.


git-svn-id: http://gapt.googlecode.com/svn/trunk/source@2088 85d21ef8-add0-11de-ae77-5bfb9c5a3f34