![]() |
Figure 1: The functionality for copying states and state labels. |
Figure 1 shows the functionality that applies to the selected node in general.
![]() |
Figure 2: The functionality for generating states of numberede nodes. |
Figure 2 shows the functionality for generating states of numbered nodes while Figure 3 show the functionality for generating states of interval nodes.
![]() |
Figure 3: The functionality for generating states of interval nodes. |