CSPM.Evaluator.ProcessValues

Events

data Event

type EventSet

eventSetFromList

type EventMap

Processes

data Proc seq op pn ev evs evm

type UnCompiledProc

type UnCompiledProcOperator

type UnCompiledOperator

data CSPOperator seq ev evs evm

data ProcOperator seq evs

data ProcName

operator

components

splitProcIntoComponents

trimProcess