| Copyright | (c) Fontaine 2010 - 2011 |
|---|---|
| License | BSD |
| Maintainer | fontaine@cs.uni-duesseldorf.de |
| Stability | experimental |
| Portability | GHC-only |
| Safe Haskell | None |
| Language | Haskell2010 |
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.