CSPM-FiringRules-0.4.1.2: Firing rules semantic of CSPM

PortabilityGHC-only
Stabilityexperimental
Maintainerfontaine@cs.uni-duesseldorf.de
Safe HaskellSafe-Infered

CSPM.FiringRules.FieldConstraintsSearch

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 -> Search (Rule i)Source

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

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

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