Removed superfluous .asInstanceOf[]s.


git-svn-id: http://gapt.googlecode.com/svn/trunk/source@2180 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
turing VeriTProver into a class i) for consistency with other provers and ii) for passing it as argument to minimalExpansionSequents

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@2181 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
NCutIntroduction, MaxSAT, TreeGrammarDecomposition: added applyStat methods to get additional statistical information


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

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@2183 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Added an optimized version of minimalExpansionTrees, called minimalExpansionTreesSmart. The old version is unchanged.


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