NonTerminalState¶
Open interactive NonTerminalState diagram
Specializations of NonTerminalState¶
| Class | Description |
|---|---|
| Conjunctive State (Activity) | |
| Disjunctive State (Activity) |
Formalization for NonTerminalState¶
| Property | Constraint |
|---|---|
| disjointWith | TerminalState |
| hasSubstate | all State |
| subClassOf | State |