| Portability | GHC-only |
|---|---|
| Stability | experimental |
| Maintainer | fontaine@cs.uni-duesseldorf.de |
| Safe Haskell | Safe-Infered |
CSPM.FiringRules.FieldConstraints
Description
Reexport of the functions from FieldConstraintsSearch with a List interface.
- computeTransitions :: forall i. BF i => Sigma i -> Process i -> [Rule i]
- eventTransitions :: forall i. BF i => Sigma i -> Process i -> [RuleEvent i]
- tauTransitions :: forall i. BF i => Process i -> [RuleTau i]
- tickTransitions :: BF i => Process i -> [RuleTick i]
Documentation
computeTransitions :: forall i. BF i => Sigma i -> Process i -> [Rule i]Source
Compute all possible transitions of the process.
eventTransitions :: forall i. BF i => Sigma i -> Process i -> [RuleEvent i]Source
Compute all (event)- transitions of the process.
tauTransitions :: forall i. BF i => Process i -> [RuleTau i]Source
Compute all tau-transitions of the process
tickTransitions :: BF i => Process i -> [RuleTick i]Source
Compute all tick-transitions of the process