BuildGraph constructs a graph with operation edges populated from an initial state.

HasPublic returns true if the element of this type has ToPublic transitions.

HasTransient returns true if the element of this type has Transient transitions.

InitialStatus returns the status at the source of an op-edge path.

IterateTransitions iterates the transitions for a given element and TargetStatus.

NextStatus returns the status succeeding the current one for the element and target status, if the corresponding op edge exists.

Transition is used to introspect the operation transitions for elements.