Name

lts2dot — Converts an Labeled Transition System to the Graphviz format

Synopsis

lts2dot [ -ofile ] [ -a4 | -letter ] [-statenames { hide | show } ] [-actionnames { hide | show } ] [-internal] [-spec dot_commands] input.ext1

ext1::= svc | bcg | aut | dir | dmp

Description

Converts an Labeled Transition System read from input.ext1 to the Graphviz format and write this to input.dot

Options

-o file

Redirect output to file.dot

-spec dot_commands

Insert commands specified in dot_commands to be inserted after the first { in output

-internal

Mark internal transitions

-statenames
hide

Hide names of states

show

Show names of states

-actionnames
hide

Hide names of actions

show

Show names of actions

Author

Please send all complaints, comments, and bug-fixes to Bert Lisser .