Add the possibility to include static aspects to the class diagram embedded in the event-b machine.
Those aspects shall be generated into the corresponding implicitContext (as the statemachine does).
This is already possible. However, constraints always generate invariants. It would be better to generate an axiom into the Context if the constraint only involves static data.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
This is already possible. However, constraints always generate invariants. It would be better to generate an axiom into the Context if the constraint only involves static data.