Fixing error on renaming

When the maxVariant in the backlist is not a
VariantSymbol, it can be of any other type, not
only StringSymbol.

git-svn-id: https://gapt.googlecode.com/svn/trunk@2332 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Modification to the testCutIntro script

The calls were simplified and the logging is now
concentrated in one place.

git-svn-id: https://gapt.googlecode.com/svn/trunk@2333 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Organizing cut-introduction code

The actual code that executes the cut-introduction
algorithm is inside private methods and three
public methods were created, one for each case:
- one_cut_one_quantifier
- one_cut_many_quantifiers
- many_cuts_one_quantifier

The object NCutIntroduction was deleted and its
methods were moved to CutIntroduction.

Conflicts:
	source/algorithms/cutIntroduction/src/main/scala/at/logic/algorithms/cutIntroduction/CutIntroduction.scala

git-svn-id: https://gapt.googlecode.com/svn/trunk@2334 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Adapting cut-introduction tests to the new methods

Also added a comment regarding the format of the log.

git-svn-id: https://gapt.googlecode.com/svn/trunk@2335 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Removing a documentation comment

Private methods don't need documentation.

git-svn-id: https://gapt.googlecode.com/svn/trunk@2336 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Removing Constraints package

With the new implementation of cut-introduction
there is no need for constraints anymore.
Also adapting the help text to the new functions.

git-svn-id: https://gapt.googlecode.com/svn/trunk@2337 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
Correcting the size of the smallest grammar

On the method for cut-introduction using maxsat, a
list of grammars is returned because of the
current implementation that supports only grammars
of the type U o S. Since the method needs more
general grammars, i.e., U o S1 o ... o Sn, this is
achieved by having a list of simpler grammars.
Consequently the computation of the size of these
grammars needs some adaptation.
Fixing test script for cut-introduction