Controlling ProB Preferences - Revision history

Michael Leuschel at 05:10, 1 September 2015

2015-09-01T05:10:36Z

← Older revision		Revision as of 05:10, 1 September 2015
Line 1:		Line 1:
	ProB provides a variety of preferences to control its behaviour.		ProB provides a variety of preferences to control its behaviour.
	A list of the most important preferences can be found [[Using_the_Command-Line_Version_of_ProB#Preferences\|in the manual page for probcli]].		A list of the most important preferences can be found [[Using_the_Command-Line_Version_of_ProB#Preferences\|in the manual page for probcli]].
			We also have a separate [[Deferred Sets\|manual page about setting the sizes of deferred sets]].

	=== Setting Preferences in a B machine ===		=== Setting Preferences in a B machine ===

Michael Leuschel: /* Setting Preferences from the command-line */

2015-09-01T05:02:55Z

Setting Preferences from the command-line

← Older revision		Revision as of 05:02, 1 September 2015
Line 21:		Line 21:
	This will import all preferences from this file, as set by ProB Tcl/Tk.		This will import all preferences from this file, as set by ProB Tcl/Tk.

	You can also set the scope for a particular [[Deferred Sets\|deferred set] <tt>GS</tt> using the following command-line switch:		You can also set the scope for a particular [[Deferred Sets\|deferred set]] <tt>GS</tt> using the following command-line switch:
	-card GS Val		-card GS Val

Michael Leuschel at 08:46, 31 August 2015

2015-08-31T08:46:00Z

← Older revision		Revision as of 08:46, 31 August 2015
Line 1:		Line 1:
	ProB provides a variety of preferences to control its behaviour.		ProB provides a variety of preferences to control its behaviour.
	A list of preferences can be found [[Using_the_Command-Line_Version_of_ProB#Preferences\|in the manual page for probcli]].		A list of the most important preferences can be found [[Using_the_Command-Line_Version_of_ProB#Preferences\|in the manual page for probcli]].

	=== Setting Preferences in a B machine ===		=== Setting Preferences in a B machine ===

Michael Leuschel at 08:45, 31 August 2015

2015-08-31T08:45:25Z

← Older revision		Revision as of 08:45, 31 August 2015
Line 1:		Line 1:
	ProB provides a variety of preferences to control its behaviour.		ProB provides a variety of preferences to control its behaviour.
			A list of preferences can be found [[Using_the_Command-Line_Version_of_ProB#Preferences\|in the manual page for probcli]].

	=== Setting Preferences in a B machine ===		=== Setting Preferences in a B machine ===
Line 13:		Line 14:
	probcli -p P VAL mymachine.mch -mc 9999		probcli -p P VAL mymachine.mch -mc 9999

	You can obtain a list of preferences by calling		You can obtain a list of preferences by calling [[Using_the_Command-Line_Version_of_ProB#Preferences\|probcli]] as follows:
	probcli -help -v		probcli -help -v

Michael Leuschel: /* Setting Preferences from the command-line */

2015-08-31T08:43:38Z

Setting Preferences from the command-line

← Older revision		Revision as of 08:43, 31 August 2015
Line 17:		Line 17:

	You can use a preference file generated by ProB Tcl/Tk:		You can use a preference file generated by ProB Tcl/Tk:
	-prefs FILE set ~~Preferences from Prolog File~~		-prefs FILE
			This will import all preferences from this file, as set by ProB Tcl/Tk.

	You can also set the scope for a particular deferred set:		You can also set the scope for a particular [[Deferred Sets\|deferred set] <tt>GS</tt> using the following command-line switch:
	-card GS Val ~~set scope of B deferred set~~		-card GS Val

	=== Setting Preferences from ProB Tcl/Tk ===		=== Setting Preferences from ProB Tcl/Tk ===

Michael Leuschel: /* Setting Preferences from the command-line */

2015-08-31T08:41:49Z

Setting Preferences from the command-line

← Older revision		Revision as of 08:41, 31 August 2015
Line 10:		Line 10:
	=== Setting Preferences from the command-line ===		=== Setting Preferences from the command-line ===

	probcli -p P VAL		You can set a preference <tt>P</tt> to a value <tt>VAL</tt> for a particular run of probcli by adding the command-line switch <tt>-p P VAL</tt>, e.g.,
			probcli -p P VAL mymachine.mch -mc 9999

	You can obtain a list of preferences by calling		You can obtain a list of preferences by calling
	probcli -help -v		probcli -help -v

			You can use a preference file generated by ProB Tcl/Tk:
			-prefs FILE set Preferences from Prolog File

			You can also set the scope for a particular deferred set:
			-card GS Val set scope of B deferred set

	=== Setting Preferences from ProB Tcl/Tk ===		=== Setting Preferences from ProB Tcl/Tk ===

Michael Leuschel: /* Setting Preferences from ProB Tcl/Tk */

2015-08-31T08:33:36Z

Setting Preferences from ProB Tcl/Tk

← Older revision		Revision as of 08:33, 31 August 2015
Line 16:		Line 16:

	=== Setting Preferences from ProB Tcl/Tk ===		=== Setting Preferences from ProB Tcl/Tk ===

			ProB Tcl/Tk stores your preferences settings in a file <tt>ProB_Preferences.pl</tt>.

	The ProB preferences are grouped into various categories.		The ProB preferences are grouped into various categories.

Michael Leuschel: /* Setting Preferences from ProB Tcl/Tk */

2015-08-31T08:32:49Z

Setting Preferences from ProB Tcl/Tk

← Older revision		Revision as of 08:32, 31 August 2015
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]]

Michael Leuschel: 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 `P` …'

2015-08-31T08:30:22Z

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> …'

New page

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> you can add the following definition to the <tt>DEFINITIONS</tt> section of the main machine:
SET_PREF_P == VAL
This will set the preference <tt>P</tt> to the value <tt>VAL</tt> 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 ===

Controlling ProB Preferences - Revision history

Michael Leuschel at 05:10, 1 September 2015

Michael Leuschel: /* Setting Preferences from the command-line */

Michael Leuschel at 08:46, 31 August 2015

Michael Leuschel at 08:45, 31 August 2015

Michael Leuschel: /* Setting Preferences from the command-line */

Michael Leuschel: /* Setting Preferences from the command-line */

Michael Leuschel: /* Setting Preferences from ProB Tcl/Tk */

Michael Leuschel: /* Setting Preferences from ProB Tcl/Tk */

Michael Leuschel: 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 P …'

Michael Leuschel: 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 `P` …'