View:	Hide Browser | Browser on the left | Browser on the right | Dictionary
Report:	General Info | Relations | Constraints

---

Parent Package: basic
Class NON_TERMINAL_STATE

STATE
   |
   +--NON_TERMINAL_STATE
Definition of a non-terminal state in a state machine, i.e. one that has transitions.

Attributes from Associations
	Signature	Optionality	Multiplicity	Documentation
	transitions : Set<TRANSITION>	1	1..*

Constraints
Name	Expression
Transitions_valid	inv: transitions <> Void and not transitions.is_empty