Property State State Node in the automaton where path ends: Declaration public State State { get; } Property Value Type Description State