Interface FocusEdge

The transitions between two children of the focus, merged into one arrow.

interface FocusEdge {
    events: string[];
    from: StateNode;
    to: StateNode;
    transitions: TransitionNode[];
}

Index

Properties

events from to transitions

Properties

events

events: string[]

their distinct event descriptors (ε for eventless)

from

from: StateNode

the child the transitions start in

to

the child they lead into

transitions

transitions: TransitionNode[]

every transition merged into this edge