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

---

Parent Package: basic
Class STATE_MACHINE
Definition of a state machine in terms of states, transition events and outputs, and next states.

Attributes from Associations
	Signature	Optionality	Multiplicity	Documentation
	states : Set<STATE>	1	1..*

Constraints
Name	Expression
States_valid	inv: states <> Void and not states.isempty