Schema: State_definition_arm
SCHEMA State_definition_arm;
USE FROM
Activity_arm;
-- ISO/TS 10303-1047
USE FROM
Classification_assignment_arm;
-- ISO/TS 10303-1114
USE FROM
Identification_assignment_arm;
-- ISO/TS 10303-1021
USE FROM
Foundation_state_definition_arm;
-- ISO/WD 10303-1469
TYPE state_definition_activity_item =
EXTENSIBLE
GENERIC_ENTITY
SELECT
BASED_ON
activity_item
WITH
(Applied_state_definition_assignment);
END_TYPE;
TYPE state_definition_classification_item =
EXTENSIBLE
GENERIC_ENTITY
SELECT
BASED_ON
classification_item
WITH
(Applied_state_definition_assignment,
State_definition,
State_definition_relationship);
END_TYPE;
TYPE state_definition_identification_item =
EXTENSIBLE
SELECT
BASED_ON
identification_item
WITH
(State_definition,
State_definition_relationship);
END_TYPE;
ENTITY And_state_cause_effect_definition
SUBTYPE OF (State_cause_effect_definition);
END_ENTITY;
ENTITY Or_state_cause_effect_definition
SUBTYPE OF (State_cause_effect_definition);
END_ENTITY;
ENTITY Sequence_of_state_definition
SUBTYPE OF (State_definition_relationship);
SELF\State_definition_relationship.relating RENAMED successor : SET[1:?] OF State_definition;
SELF\State_definition_relationship.related RENAMED predecessor : SET[1:?] OF State_definition;
END_ENTITY;
ENTITY State_cause_effect_definition
SUBTYPE OF (State_definition_relationship);
SELF\State_definition_relationship.relating RENAMED effect : SET[1:?] OF State_definition;
SELF\State_definition_relationship.related RENAMED cause : SET[1:?] OF State_definition;
END_ENTITY;
ENTITY State_complement_definition
SUBTYPE OF (State_definition_relationship);
SELF\State_definition_relationship.relating RENAMED universe : SET[1:?] OF State_definition;
SELF\State_definition_relationship.related RENAMED set_1 : SET[1:?] OF State_definition;
set_2 : SET[1:?] OF State_definition;
END_ENTITY;
ENTITY State_proper_subset_definition
SUBTYPE OF (State_definition_relationship);
SELF\State_definition_relationship.related RENAMED proper_subset : SET[1:?] OF State_definition;
SELF\State_definition_relationship.relating RENAMED proper_superset : SET[1:?] OF State_definition;
END_ENTITY;
ENTITY State_subset_definition
SUBTYPE OF (State_definition_relationship);
SELF\State_definition_relationship.relating RENAMED superset : SET[1:?] OF State_definition;
SELF\State_definition_relationship.related RENAMED subset : SET[1:?] OF State_definition;
END_ENTITY;
ENTITY State_symptom_definition
SUBTYPE OF (State_definition_relationship);
SELF\State_definition_relationship.relating RENAMED symptom_effect : SET[1:?] OF State_definition;
SELF\State_definition_relationship.related RENAMED symptom_cause : SET[1:?] OF State_definition;
END_ENTITY;
ENTITY Xor_state_cause_effect_definition
SUBTYPE OF (State_cause_effect_definition);
END_ENTITY;
END_SCHEMA; -- State_definition_arm