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

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

CSPM.LTS.LTS

Description

 

Synopsis

Documentation

data LtsNode Source

Constructors

LtsNode 

Fields

nodeDigest :: !Digest
 
nodeProcess :: Process
 

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)