Changes between Version 24 and Version 25 of MoMoC

Timestamp:

Jan 28, 2020, 5:43:14 AM (6 years ago)

Author:

5willrod

Comment:

--

MoMoC

@@ -37 +37 @@
 == User Interface
 
-== Net Instance Quantifier
+The following picture shows !MoMoCs GUI.
+It consists of three panels, arranged from left to right: The ''procedure panel'', the ''user input panel'' and the ''procedure settings panel''.
+
+**Procedure Panel**: Lists all available procedures which can be selected by the user.
+Includes a short description of what the procedure does.
+
+**User Input Panel**: The main text field ''Specification'' takes the formula that should be verified.
+For a better readability, macros can be entered in the text field above (''q=term'' will replace all occurrences of ''q'' in the formula with ''term'').
+
+The buttons (from top to bottom) start the selected procedure, perform a syntax check on the entered formula and terminate all ongoing procedures.
+
+**Procedure Settings Panel**: This panel is optional and shows additional parameters that can be set for the selected procedure.
+
+[[Image(GUI.png)]]
 
 == Syntax