[mc] Move VisitedState stuffs in their own .c file
[mc] Reindent is_visited_state()
Fix #includes to automaton.h
[mc] Only #include LivenessChecker.hpp in LivenessChecker.cpp
[mc] Fix some XBT_DEBUG
[mc] Remove superflous static function
[mc] Use shared_ptr for Snapshot
[mc] Making a State a class
[mc] Move VisitedPair alongside with LivenessChecker
[mc] Move some snapshot_compare() overload with their respective checker
[mc] Move main liveness code in a LivenessChecker class
[mc] Remove some globals from is_visted_state()
[mc] Extract prune_visited_states() out of is_visited_state()
[mc] Use std::equal_range in is_visited_state()
[mc] Use std::equal_range in get_search_range() The semantic of this function chanegd slightly in order to have simpler code in the callers.
[mc] Use a single templated code for get_search_interval
[mc] Move some liveness code in the liveness file (private/static)
[mc] Use C++ containers for visited_states
[mc] Fix VisitedState constructor The snapshot was not taken anymore.
[mc] Remove useless extern "C" around logging categories