am::openehr_profile::data_types::basic
Classes
C_DV_STATE
NON_TERMINAL_STATE
STATE
STATE_MACHINE
TERMINAL_STATE
TRANSITION
Constraints
Action_valid
c_value_exists
Event_valid
Guard_valid
Name_valid
Next_state_valid
States_valid
Transitions_valid
Associations
<unnamed> [C_DV_STATE - STATE_MACHINE]
<unnamed> [STATE_MACHINE - STATE]
<unnamed> [TRANSITION - STATE]
<unnamed> [NON_TERMINAL_STATE - TRANSITION]
Generalizations
<unnamed> [C_DV_STATE - C_DOMAIN_TYPE]
<unnamed> [NON_TERMINAL_STATE - STATE]
<unnamed> [TERMINAL_STATE - STATE]