first unified implementation of all operators
Merge branch 'master' of github.com:mschordan/rose
visialization is working also in unified mode
implemented X()
fix labeling bugs
bugfix
more precise JOIN for disjunctions
* Implemented handling of non-maintained (temporary) estates.
  - can be activated with option -tg-ltl-reduced
  - this preliminary work for the transition graph reduction/abstraction mechanism.
* Added visualization of non-maintained estates.
  - maintained estates are visulized as ESxxx, non-maintained (temporary) as TMPES.
switch to most optimistic transfer functions
* Added support functions for determining and using non-maintained nodes in an analysis.
* Adapted functions for computing statistics on transition graph using maintained and non-maintained nodes.
Merge github.com:adrian-prantl/rose
Updated regressiontest.
fixed handling of endpoints in the algorithm
unify is_eq and is_neq
unify is_eq and is_neq
* fixed all -Wall warnings (except in LTL* files).
* updated regressiontest data
Added preliminary work on semantic folding of state transition graph.
Merge branch 'master' of github.com:mschordan/rose
Activated preliminary version 1 of semantic folding of transition graph (option --semantic-fold=yes)
fix warnings