Semantic category of an arrow's transition. 'legal' is a normal transition, 'main' is part of the machine's primary path, 'forced' may only be taken via jssm!Machine.force_transition, and 'none' means no transition exists in that direction.
'legal'
'main'
'forced'
'none'
Semantic category of an arrow's transition.
'legal'is a normal transition,'main'is part of the machine's primary path,'forced'may only be taken via jssm!Machine.force_transition, and'none'means no transition exists in that direction.