CSPM-FiringRules-0.1.0.0: Firing rules semantic of CSPM

PortabilityGHC-only
Stabilityexperimental
Maintainerfontaine@cs.uni-duesseldorf.de

CSPM.FiringRules.FieldConstraints

Description

Field-wise generation of transitions. Uses some kind of abstract interpretation/constraint propagation to avoid enumeration of Sigma in some cases.

Documentation

computeTransitions :: forall i. BF i => Sigma i -> Process i -> [Rule i]Source

eventTransitions :: BF i => EventSet i -> Process i -> EnumM (RuleEvent i)Source

tauTransitions :: forall i. BF i => Process i -> EnumM (RuleTau i)Source

tickTransitions :: BL i => Process i -> EnumM (RuleTick i)Source