CSPM-FiringRules-0.4.4.0: Firing rules semantic of CSPM

Copyright(c) Fontaine 2010 - 2011
LicenseBSD
Maintainerfontaine@cs.uni-duesseldorf.de
Stabilityexperimental
PortabilityGHC-only
Safe HaskellNone
LanguageHaskell2010

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 #