CSPM.LTS.LTS

Documentation

data LtsNode

Constructors

LtsNode

Fields

• nodeDigest :: !Digest
• nodeProcess :: Process

Instances

Eq LtsNode

Methods

(==) :: LtsNode -> LtsNode -> Bool

(/=) :: LtsNode -> LtsNode -> Bool

Ord LtsNode

Methods

compare :: LtsNode -> LtsNode -> Ordering

(<) :: LtsNode -> LtsNode -> Bool

(<=) :: LtsNode -> LtsNode -> Bool

(>) :: LtsNode -> LtsNode -> Bool

(>=) :: LtsNode -> LtsNode -> Bool

max :: LtsNode -> LtsNode -> LtsNode

min :: LtsNode -> LtsNode -> LtsNode

Show LtsNode

Methods

showsPrec :: Int -> LtsNode -> ShowS

show :: LtsNode -> String

showList :: [LtsNode] -> ShowS

mkLtsNode :: Process -> LtsNode

type LTS = Map LtsNode [Rule INT]

hashLTS :: LTS -> Digest

Compute the hash value of an LTS. (Warning: This does not include entry process)