Uncolored
Generators
UncoloredTransition
transitions
updateState
Transition IdentityTransition