On This Page
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
package fsml
On This Page
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Module Fsml.DotSource
Dot output
Source
type options = {mutable node_shape : string;mutable node_style : string;mutable rankdir : string;mutable layout : string;mutable mindist : float;
}write fname m writes a .dot representation of FSM m in file fname. Rendering can be modified with the options optional argument.
view m views FSM m by first writing its .dot representation in file and then launching a DOT viewer application. The name of the output file and of the viewer application can be changed using the fname and cmd optional arguments. Returns the issued command exit status.
On This Page