Graphical Viewer - Revision history

Joy Clark: s to z, submenu to sub-menu

2011-04-18T11:21:20Z

s to z, submenu to sub-menu

← Older revision		Revision as of 11:21, 18 April 2011
Line 16:		Line 16:
	== Setting up the Graphical Viewer ==		== Setting up the Graphical Viewer ==

	* GraphViz: in order to make use of the graphical ~~visualisation~~ features, you need to install a version of GraphViz suitable for your architecture. More details can be found in [[Installation]].		* GraphViz: in order to make use of the graphical visualization features, you need to install a version of GraphViz suitable for your architecture. More details can be found in [[Installation]].

	* Then use the command "Graphical Viewer Preferences..." in the "Preferences" Menu:		* Then use the command "Graphical Viewer Preferences..." in the "Preferences" Menu:
Line 27:		Line 27:
	In case you want to use the Postscript option, also make sure that you have a viewer for Postscript files installed, and set the preference "Path/Command for Postscript viewer".		In case you want to use the Postscript option, also make sure that you have a viewer for Postscript files installed, and set the preference "Path/Command for Postscript viewer".

	* You can select which viewer to use by going to the "Graphical Viewer" ~~submenu~~ of the "Preferences" Menu:		* You can select which viewer to use by going to the "Graphical Viewer" sub-menu of the "Preferences" Menu:
	[[File:GraphicalViewerSubMenu.png]].		[[File:GraphicalViewerSubMenu.png]].

Joy Clark: grammatical edits, punctuation edits

2011-04-14T08:49:09Z

grammatical edits, punctuation edits

← Older revision		Revision as of 08:49, 14 April 2011
Line 1:		Line 1:

	[[Category:User Manual]]		[[Category:User Manual]]

Line 10:		Line 9:
	* one particular state of a model represented as a graph		* one particular state of a model represented as a graph

	~~For this~~ ProB generates ~~first~~ a textual representation of a graph in the "dot" format.		Firstly, ProB generates a textual representation of a graph in the "dot" format.
	This information is typically saved to a file which has the same name and path as your main model, but has a ".dot" extension.		This information is typically saved to a file which has the same name and path as your main model but has a ".dot" extension.
	It then uses GraphViz to render this file.		It then uses GraphViz to render this file.
	For this it can either make use of the "dot" program to generate a Postscript file (generating a file with the ".ps" extension), or it uses a Dot-Viewer (such as "dotty") to view the file directly.		For this, it can either make use of the "dot" program to generate a Postscript file (generating a file with the ".ps" extension), or it uses a Dot-Viewer (such as "dotty") to view the file directly.

	== Setting up the Graphical Viewer ==		== Setting up the Graphical Viewer ==

Michael Leuschel: /* Introduction */

2010-01-18T12:53:04Z

Introduction

← Older revision		Revision as of 12:53, 18 January 2010
Line 4:		Line 4:
	== Introduction ==		== Introduction ==

	ProB can generate a wide range of visualizations for your models.		ProB can generate a wide range of visualizations for your models, e.g.:
			* the statespace of a model
			* the value of a particular formula
			* various reduced representation of the statespace of a model
			* one particular state of a model represented as a graph

	For this ProB generates first a textual representation of a graph in the "dot" format.		For this ProB generates first a textual representation of a graph in the "dot" format.
	This information is typically saved to a file which has the same name and path as your main model, but has a ".dot" extension.		This information is typically saved to a file which has the same name and path as your main model, but has a ".dot" extension.
	It then uses GraphViz to render this file.		It then uses GraphViz to render this file.
	For this it can either make use of the "dot" program to generate a Postscript file (generating a file with the ".ps" extension), or it uses a Dot-Viewer (such as "dotty") to view the file directly.		For this it can either make use of the "dot" program to generate a Postscript file (generating a file with the ".ps" extension), or it uses a Dot-Viewer (such as "dotty") to view the file directly.


	== Setting up the Graphical Viewer ==		== Setting up the Graphical Viewer ==

Michael Leuschel: /* Setting up the Graphical Viewer */

2010-01-18T12:50:55Z

Setting up the Graphical Viewer

← Older revision		Revision as of 12:50, 18 January 2010
Line 22:		Line 22:
	Note: you can use the "Pick" button to locate the dot program and the dot viewer.		Note: you can use the "Pick" button to locate the dot program and the dot viewer.
	[[File:GraphicalViewerPreferences.png]]		[[File:GraphicalViewerPreferences.png]]
	In case you want to use the Postscript option, also make sure that you have a viewer for Postscript files installed, and set the ~~following~~ preference:		In case you want to use the Postscript option, also make sure that you have a viewer for Postscript files installed, and set the preference "Path/Command for Postscript viewer".
	** Path/Command for Postscript viewer

	* You can select which viewer to use by going to the "Graphical Viewer" submenu of the "Preferences" Menu:		* You can select which viewer to use by going to the "Graphical Viewer" submenu of the "Preferences" Menu:
	[[File:GraphicalViewerSubMenu.png]].		[[File:GraphicalViewerSubMenu.png]].

Michael Leuschel at 12:48, 18 January 2010

2010-01-18T12:48:49Z

← Older revision		Revision as of 12:48, 18 January 2010
Line 1:		Line 1:

			[[Category:User Manual]]

	== Introduction ==		== Introduction ==

Line 10:		Line 13:
	== Setting up the Graphical Viewer ==		== Setting up the Graphical Viewer ==

	* GraphViz: in order to make use of the graphical visualisation features, you need to install a version of GraphViz suitable for your architecture. More details can be found in [[~~User Manual:~~Installation]].		* GraphViz: in order to make use of the graphical visualisation features, you need to install a version of GraphViz suitable for your architecture. More details can be found in [[Installation]].

	* Then use the command "Graphical Viewer Preferences..." in the "Preferences" Menu to set or check the following preferences:		* Then use the command "Graphical Viewer Preferences..." in the "Preferences" Menu:
			[[File:GraphicalViewerPreferencesMenuEntry.png]]
			Then set or check the following preferences:
	** Path/Command for dot program		** Path/Command for dot program
	** Path/Command for dot viewer (e.g., dotty)		** Path/Command for dot viewer (e.g., dotty)
	Note: you can use the "Pick" button to locate the dot program and the dot viewer.		Note: you can use the "Pick" button to locate the dot program and the dot viewer.
	~~See more information about the~~ [~~User Manual~~:~~Graphical Viewer\|Graphical Viewer here~~].		[[File:GraphicalViewerPreferences.png]]
	In case you want to use the Postscript option, also make sure that you have a viewer for Postscript files installed, and set the following preference:		In case you want to use the Postscript option, also make sure that you have a viewer for Postscript files installed, and set the following preference:
	** Path/Command for Postscript viewer		** Path/Command for Postscript viewer

Jens Bendisposto: moved User Manual:Graphical Viewer to Graphical Viewer

2010-01-18T12:35:35Z

moved User Manual:Graphical Viewer to Graphical Viewer

← Older revision	Revision as of 12:35, 18 January 2010
(No difference)

Michael Leuschel: /* Setting up the Graphical Viewer */

2010-01-18T12:29:36Z

Setting up the Graphical Viewer

← Older revision		Revision as of 12:29, 18 January 2010
Line 20:		Line 20:
	** Path/Command for Postscript viewer		** Path/Command for Postscript viewer

	* You can select which viewer to use by going to the "Graphical Viewer" submenu of the "Preferences" Menu: [[File:GraphicalViewerSubMenu.png]].		* You can select which viewer to use by going to the "Graphical Viewer" submenu of the "Preferences" Menu:
			[[File:GraphicalViewerSubMenu.png]].

Michael Leuschel at 12:28, 18 January 2010

2010-01-18T12:28:14Z

← Older revision		Revision as of 12:28, 18 January 2010
Line 20:		Line 20:
	** Path/Command for Postscript viewer		** Path/Command for Postscript viewer

	* You can select which viewer to use by going to the "Graphical Viewer" submenu of the "Preferences" Menu:		* You can select which viewer to use by going to the "Graphical Viewer" submenu of the "Preferences" Menu: [[File:GraphicalViewerSubMenu.png]].

Michael Leuschel at 12:25, 18 January 2010

2010-01-18T12:25:18Z

Michael Leuschel: Created page with ' == Introduction == ProB can generate a wide range of visualizations for your models. For this ProB generates first a textual representation of a graph in the "dot" format. This…'

2010-01-18T12:21:34Z

Created page with ' == Introduction == ProB can generate a wide range of visualizations for your models. For this ProB generates first a textual representation of a graph in the "dot" format. This…'

New page

== Introduction ==

ProB can generate a wide range of visualizations for your models.
For this ProB generates first a textual representation of a graph in the "dot" format.
This information is typically saved to a file which has the same name and path as your main model,
but has a ".dot" extension.
It then uses GraphViz to render this file.
For this it can either make use of the "dot" program to generate a Postscript file (generating a file with the ".ps" extension), or it uses a Dot-Viewer (such as "dotty") to view the file directly.

== Setting up the Graphical Viewer ==

* GraphViz: in order to make use of the graphical visualisation features, you need to install a version of GraphViz suitable for your architecture. More details can be found in [[User Manual:Installation]].

* Then use the command "Graphical Viewer Preferences..." in the Preferences Menu to set or check the following preferences:
** Path/Command for dot program
** Path/Command for dot viewer (e.g., dotty)
Note: you can use the "Pick" button to locate the dot program and the dot viewer.
See more information about the [User Manual:Graphical Viewer|Graphical Viewer here].
In case you want to use the Postscript option, also make sure that you have a viewer for Postscript files installed, and set the following preference:
** Path/Command for Postscript viewer

← Older revision		Revision as of 12:25, 18 January 2010
Line 1:		Line 1:

	== Introduction ==		== Introduction ==

	ProB can generate a wide range of visualizations for your models.		ProB can generate a wide range of visualizations for your models.
	For this ProB generates first a textual representation of a graph in the "dot" format.		For this ProB generates first a textual representation of a graph in the "dot" format.
	This information is typically saved to a file which has the same name and path as your main model,		This information is typically saved to a file which has the same name and path as your main model, but has a ".dot" extension.
	but has a ".dot" extension.
	It then uses GraphViz to render this file.		It then uses GraphViz to render this file.
	For this it can either make use of the "dot" program to generate a Postscript file (generating a file with the ".ps" extension), or it uses a Dot-Viewer (such as "dotty") to view the file directly.		For this it can either make use of the "dot" program to generate a Postscript file (generating a file with the ".ps" extension), or it uses a Dot-Viewer (such as "dotty") to view the file directly.
Line 14:		Line 12:
	* GraphViz: in order to make use of the graphical visualisation features, you need to install a version of GraphViz suitable for your architecture. More details can be found in [[User Manual:Installation]].		* GraphViz: in order to make use of the graphical visualisation features, you need to install a version of GraphViz suitable for your architecture. More details can be found in [[User Manual:Installation]].

	* Then use the command "Graphical Viewer Preferences..." in the Preferences Menu to set or check the following preferences:		* Then use the command "Graphical Viewer Preferences..." in the "Preferences" Menu to set or check the following preferences:
	** Path/Command for dot program		** Path/Command for dot program
	** Path/Command for dot viewer (e.g., dotty)		** Path/Command for dot viewer (e.g., dotty)
Line 21:		Line 19:
	In case you want to use the Postscript option, also make sure that you have a viewer for Postscript files installed, and set the following preference:		In case you want to use the Postscript option, also make sure that you have a viewer for Postscript files installed, and set the following preference:
	** Path/Command for Postscript viewer		** Path/Command for Postscript viewer

			* You can select which viewer to use by going to the "Graphical Viewer" submenu of the "Preferences" Menu: