Eliminated IEval and replaced it with AbstractFormulaElement
Experimented with Schemas and Groovy Magic
Each Model type now subscribes the formulas that they are specifically interested in.
Fixed return type
Registering formulas
Created class that represents the current state of the abstract model.
PROBCORE-236 Refactoring StateInspector
Update gitignore
State Inspector: make sure that code is displayed correctly with unicode.
PROBCORE-236 Working on refactoring StateInspector
PROBCORE-236 Minor changes. Added modal options window.
Working on PROBCORE-236. Added access to Guards from ClassicalB Machine
PROBCORE-236 Working on StateInspector
ignore
PROBCORE-236 Working on StateInspector
Some tests and minor changes PROBCORE-236
Added accessor method to AbstractModel to be able to access an element via a path within the model. Also refactored StateSpace accessor method to be getStateSpace() instead of getStatespace() because it is then the same as Trace class
PROBCORE-236 Added finishing touches to StateInspector view
Merge branch 'feature/modelImprovement' into develop