Descriptor marking menu
Marking menu tools


The descriptor marking menu for state space node descriptors and state space arc descriptors:

Descriptor Marking Menu

Toggle Descriptor