A single directed transition (edge) within a state machine. Captures
both the topology (from / to), the FSL semantics (kind,
forced_only, main_path), and any optional metadata such as a
per-edge name, an action label, a guard check, a transition
probability for stochastic models, and an after_time for timed
transitions.
A single directed transition (edge) within a state machine. Captures both the topology (
from/to), the FSL semantics (kind,forced_only,main_path), and any optional metadata such as a per-edgename, an action label, a guardcheck, a transitionprobabilityfor stochastic models, and anafter_timefor timed transitions.