| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Modelling.ActivityDiagram.Common
Description
Common definitions for Activity Diagram example configurations.
Synopsis
- finalNodesAdviceTitle :: Map Language String
- finalNodesAdviceText :: Map Language String
- finalNodesAdvice :: ExtraText
- finalNodesAndTransitionsAdvice :: ExtraText
Documentation
finalNodesAdviceTitle :: Map Language String Source #
Title for the final nodes advice collapsible section.
finalNodesAdviceText :: Map Language String Source #
The main text explaining how final nodes are realized in Petri nets.
finalNodesAdvice :: ExtraText Source #
Advice text for final nodes in Petri net translation. This text explains how final nodes are realized in Petri nets.
finalNodesAndTransitionsAdvice :: ExtraText Source #
Combined advice text for final nodes and auxiliary transitions. This text explains how final nodes are realized in Petri nets and clarifies that transitions required for realizing final node behavior do not count as auxiliary nodes.