CSPM-cspm-0.5.6.0: cspm command line tool for analyzing CSPM specifications.

PortabilityGHC-only
Stabilityexperimental
MaintainerFontaine@cs.uni-duesseldorf.de

CSPM.LTS.ToDot

Description

dump a Lts as a Dot-file todo : completely rewrite (use dot-library)

Synopsis

Documentation

mkDotFile :: FilePath -> LTS -> IO ()Source

Dump a LTS as a .dot-file.