Portability | GHC-only |
---|---|

Stability | experimental |

Maintainer | fontaine@cs.uni-duesseldorf.de |

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