CSPM-cspm-0.7.0.0: cspm command line tool for analyzing CSPM specifications.
CSPM.LTS.LTS
Description
Synopsis
data LtsNode Source
Constructors
Fields
Instances
mkLtsNode :: Process -> LtsNodeSource
type LTS = Map LtsNode [Rule INT]Source
hashLTS :: LTS -> DigestSource
Compute the hash value of an LTS. (Warning: This does not include entry process)