POK
|
DURATION (defined in PARTITION_STATUS_TYPE) | PARTITION_STATUS_TYPE | |
IDENTIFIER (defined in PARTITION_STATUS_TYPE) | PARTITION_STATUS_TYPE | |
LOCK_LEVEL (defined in PARTITION_STATUS_TYPE) | PARTITION_STATUS_TYPE | |
OPERATING_MODE (defined in PARTITION_STATUS_TYPE) | PARTITION_STATUS_TYPE | |
PERIOD (defined in PARTITION_STATUS_TYPE) | PARTITION_STATUS_TYPE | |
START_CONDITION (defined in PARTITION_STATUS_TYPE) | PARTITION_STATUS_TYPE |