#345 Ordering components in the event-b explorer

[Luis Diaz]

Order the event-b machine by refinements strategy. Refinement tree could become complex so maybe just order the machines by level of refinment:

• First those machine that not refine a machine
• Then those in a second lvl of refinements
• and so on

Same with the context

[Tomas]

This is already available in Rodin 3.2 (I'm not sure about the older releases):

Event-B Explorer: View Menu / Customize View / Content

Uncheck: SImple Context Structure and Simple Machine Structure
Check Complex Context Structure and Complex Machine Structure

Not only the contexts and machines are sorted according to the extends / refines relation, but also contexts are assigned to machines according to the sees relations.