branch for further formula-types

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/integerFormula@11004 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
adding new formula-type INTEGER. the old type RATIONAL and the new type INT inherit from NUMERAL. Code not tested.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/integerFormula@11005 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
switching import-statements from old RationalFormula to the new one.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/integerFormula@11011 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
merge from trunk

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/integerFormula@11012 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
refactoring, adding generics and removing some local variables, that are available through superclasses.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/integerFormula@11018 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
merge from trunk

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/integerFormula@11025 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
our smt-solvers always use some kind of environment/context. moving it to generic super-class. cleanup some related functioncalls.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/integerFormula@11031 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
some replacements of RationalFormula with NumericFormula

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/integerFormula@11073 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
merge from trunk

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/integerFormula@11074 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
simplify types, less generics

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/integerFormula@11085 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
renaming

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/integerFormula@11088 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
switching to log.LogManager

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/integerFormula@11151 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
adding second numeral manager in FormulaManager. The existing manmager is the RationalManager, the new one is for Integers

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/integerFormula@11156 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
merge from trunk

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/integerFormula@11158 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
fix formula type

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/integerFormula@11374 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
merge from trunk

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/integerFormula@11375 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
adding Genericss to NumberFormulaManager: the more Generics, the better...

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/integerFormula@11383 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
fixing some classes and generics

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/integerFormula@11387 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
merge from trunk

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/integerFormula@11388 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
removing some warnings for Generics

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/integerFormula@11395 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c