autsimplify(1) - simplify automaton Aldebaran (.aut) file

Name

Synopsis

Description

autsimplify is an experiment at reducing the size of an automaton without changing it structure, by reducing chains of transitions by a single transition with a single label obtained by concatenating all individual labels. The hope is that this makes it easier for dot (or for anifsm(1)) to compute a layout for the graph.
Initial experiments seem to suggest that the effect may be limited. It may help to remove the label text from the result of autsimplify, such that only the structure of the graph remains, but even that may not be sufficient to allow dot to efficiently compute the layout of a big graph.

Bugs

See Also

Contact

Version

Table of Contents

• Name
• Synopsis
• Description
• Bugs
• See Also
• Contact
• Version

Prev	Table of Contents	Next
Appendix D: TorX Manual Pages: autexp(1) - explore Aldebaran (.aut) automaton files		Appendix D: TorX Manual Pages: campaign(1) - generate and populate TorX test campaign directory structure