Execution dialog window

This execution dialog is opened if the option Random Bindings is switched off. If you can click on the Search Bindings button possible bindings are calculated and the part of the window displaying these bindings is opened. You can select one of these bindings by clicking on it. If a binding is displayed inthe bottom of the window it can be tested using the Test Bindings button or cleared using the Clear Bindings button. The transition is executed if the currently chosen binding if you click on the OK button. You can also create your a binding by clicking first on a variable name and then on a value.