|
ENTITY Back_chaining_rule SUBTYPE OF (Rule_definition); head : Rule_condition; body : LIST [0:?] OF Rule_condition; WHERE WR1: SELF.head.positive = TRUE; WR2: local_vars_of(SELF.head) <= local_vars_of(SELF.body); END_ENTITY; -- Back_chaining_rule |
Entity data types and their attributesProduct_view_definition(OPT) id: STRING; (OPT) name: STRING; (OPT) additional_characterization: STRING; initial_context: View_definition_context; additional_contexts: SET [0:?] OF View_definition_context; defined_version: Product_version; Information_definition (RT) defined_version: Information_version; Software_definition (RT) defined_version: Software_version; Rule_software_definition (RT) defined_version: Rule_version; Rule_definition - Back_chaining_rule head: Rule_condition; body: LIST [0:?] OF Rule_condition; |
Global rules for this entity data type- |