PROBCORE-482 Removed old out of date classes.
PROBCORE-482 Updated HTML to allow for extension for CBC and LTL
PROBCORE-483 Implemented abstraction IStateSpaceModifier. A command that modifies the state space (inserts new transitions into the state space) should notify the state space of these changes. This will ensure that the transitions will be correctly inserted into the state space and this will ensure that the state space functions correctly.
Solves PROBCORE-484 Ensures that the formula has been parsed before returning the kind.
Solves PROBCORE-484 Ensures that the formula has been parsed before returning the kind.
Refactor model checking objects to implement abstraction described in PROBCORE-483
PROBCORE-482 Refactoring CBC to make use of abstractions defined with consistency checking