twacube: refactor mc.hh
mc.hh provides a set of headers in order to perform parallel model checking. Nonetheless today, it has two major drawbacks:
-
The instantiation code is very close and almost only depends on the underlying algorithm that is chosen. A factory should be used to clarify this
-
We should move the actual implementation into a hxx file so we can have a clean interface in hh file