Portability | GHC-only |
---|---|
Stability | experimental |
Maintainer | fontaine@cs.uni-duesseldorf.de |
Brute-force computation of all possible transitions of a process.
Enumerates all events in Sigma
.
- computeTransitions :: forall i. BL i => Sigma i -> Process i -> [Rule i]
- eventTransitions :: forall i. BL i => Sigma i -> Process i -> [RuleEvent i]
- tauTransitions :: forall i. BL i => Process i -> EnumM (RuleTau i)
- tickTransitions :: BL i => Process i -> EnumM (RuleTick i)
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.
tauTransitions :: forall i. BL i => Process i -> EnumM (RuleTau i)Source
tickTransitions :: BL i => Process i -> EnumM (RuleTick i)Source