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.