From Event-B
(Difference between pages)
Jump to navigationJump to search
imported>Maria |
|
| Line 1: |
Line 1: |
| − | ==Purpose==
| |
| − | The Purpose of the Single View Design is to present everything in a single view in Rodin.
| |
| | | | |
| − | ==Specification==
| |
| − | ===The Navigator===
| |
| − | The navigator presents all projects and their contents. The users can choose between to ways how the machines and contexts will be presented:
| |
| − | *A simple structure where all machines and contexts are presented on the same level
| |
| − | *A complex structure where the machines and contexts are presented as a tree. Thus dependencies between machines and contexts (like ''refines'' or ''sees'') are made visible.
| |
| − |
| |
| − |
| |
| − |
| |
| − | ===The Actions===
| |
| − | The following actions are available in the navigator:
| |
| − | *Projects: Delete, Rename, Copy
| |
| − | *Machines: Delete, Rename, Refine, Prove interactively
| |
| − | *Contexts: Delete, Extend, Prove interactively
| |
| − | *Proof Obligations: Retry Auto Provers, Recalculate Auto Status
| |
| − | *Globally: New Project, New Component
| |
| − |
| |
| − | On double click each element is opened in an editor.
| |
| − |
| |
| − |
| |
| − |
| |
| − | [[Category:Work in progress]]
| |
Latest revision as of 20:50, 30 April 2020
