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]