FA: formating
explicit_tree_aut: move functions
explicit_tree_aut_core: formating
ExplicitFiniteAut: formating
ExplicitFiniteAut: add stubs for Compute*Simulation()
explicit_tree_aut_core: refactoring simulation
CLI: use different simulation parameters for FAs
[INCONSISTENT]: simulation handling
binary_relation: DiscontBinaryRelation and change of upward simulation
binary_relation: make changes
explicit_tree_transl: remove 'const' requirement on translators
binary_relation: add DiscontBinaryRelation::buildIndex()
reduce_param.hh: add first version
explicit_tree_aut: add Reduce(ReduceParam&) and Collapse(StateToStateMap&)
explicit_tree_aut_test: add a test for iterators

Add a test that tests the problems of iterators returing a const
reference for operator*()
explicit_tree_aut: change iterators to return value for *

Iterators now return value instead of a constant reference for the *
operator.
merged fa_simulation
merging consequences