Modify state type
Switching out a prob
state for an init
, or choice
should be possible without detaching and reattaching everything. Similar for xor
and and
.
A proposed solution is a dynamic menu item that is enabled when a single (or multiple of the same type) element is selected. The dropdown for the menu item would be context sensitive and would modify the types of the selection.