Controlling ProB Preferences: Difference between revisions
(Created page with 'ProB provides a variety of preferences to control its behaviour. === Setting Preferences in a B machine === This only works for classical B models. For a preference <tt>P</tt> …') |
|||
| Line 16: | Line 16: | ||
=== Setting Preferences from ProB Tcl/Tk === | === Setting Preferences from ProB Tcl/Tk === | ||
The ProB preferences are grouped into various categories. | |||
In the "Preferences" Menu you can modify the preferences for each category: | |||
[[File:GraphicalViewerPreferencesMenuEntry.png]] | |||
For example, if you choose the graphical viewer preferences you will get this dialog: | |||
[[File:GraphicalViewerPreferences.png]] | |||
Revision as of 08:32, 31 August 2015
ProB provides a variety of preferences to control its behaviour.
Setting Preferences in a B machine
This only works for classical B models. For a preference P you can add the following definition to the DEFINITIONS section of the main machine:
SET_PREF_P == VAL
This will set the preference P to the value VAL for this model only.
Setting Preferences from the command-line
probcli -p P VAL
You can obtain a list of preferences by calling
probcli -help -v
Setting Preferences from ProB Tcl/Tk
The ProB preferences are grouped into various categories. In the "Preferences" Menu you can modify the preferences for each category:
For example, if you choose the graphical viewer preferences you will get this dialog:
