Struct mata::nfa::TransitionΒΆ

struct Transition

A single transition in Delta represented as a triple(source, symbol, target).

Public Members

State source

Source state.

Symbol symbol

Transition symbol.

State target

Target state.