Graphical Viewer: Difference between revisions

m (s to z, submenu to sub-menu)
 
(4 intermediate revisions by 2 users not shown)
Line 1: Line 1:
[[Category:User Manual]]
== 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.:
For this ProB generates first a textual representation of a graph in the "dot" format.
* the statespace of a 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.
* 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
 
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.
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 ==


* 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 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 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 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" sub-menu of the "Preferences" Menu:
  [[File:GraphicalViewerSubMenu.png]].
  [[File:GraphicalViewerSubMenu.png]].

Latest revision as of 11:21, 18 April 2011


Introduction

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

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. 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 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:
GraphicalViewerPreferencesMenuEntry.png

Then 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.

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 preference "Path/Command for Postscript viewer".

  • You can select which viewer to use by going to the "Graphical Viewer" sub-menu of the "Preferences" Menu:
GraphicalViewerSubMenu.png.