CSPM-FiringRules-0.4.3.0: Firing rules semantic of CSPM

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

CSPM.FiringRules.EnumerateEventsList

Description

Reexport of the functions from EnumerateEvents with a List interface.

Synopsis

Documentation

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

Compute all possible transitions (via an event from Sigma) for a Process.

eventTransitions :: forall i. BL i => Sigma i -> Process i -> [RuleEvent i] Source

tauTransitions :: forall i. BL i => Process i -> [RuleTau i] Source

tickTransitions :: BL i => Process i -> [RuleTick i] Source