CSPM-FiringRules-0.3.0.3: Firing rules semantic of CSPM

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

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