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

PortabilityGHC-only
Stabilityexperimental
MaintainerFontaine@cs.uni-duesseldorf.de
Safe HaskellSafe-Infered

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.