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