Graphical Viewer: Difference between revisions

(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…')
 
No edit summary
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:

Revision as of 12:25, 18 January 2010

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
  • You can select which viewer to use by going to the "Graphical Viewer" submenu of the "Preferences" Menu: