Overview Schemas Index

Production_rule_arm         


ENTITY Global_assignment;
          variable : Abstract_variable;
          val : term_select;
WHERE
          WR1: NOT(contains_variable(SELF.val));
END_ENTITY; -- Global_assignment

Entity data types and their attributes

Global_assignment
          variable: Abstract_variable;
          val: term_select;

Users: by entity attributes

Global_assignment

Users: by defined types, not used by any entity attribute

Global_assignment
          -

Global rules for this entity data type

          -