Overview Schemas Index

set_theory_schema         

ENTITY power_set;
          id : identifier;
          name : label;
          description : OPTIONAL text;
          base : class;
          derived : class;
WHERE
          derived_different: NOT identical_sets(base, derived);
END_ENTITY; -- power_set

Entity data types and their attributes

power_set
          id: identifier;
          name: label;
          (OPT) description: text;
          base: class;
          derived: class;

Users: by entity attributes

power_set

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

power_set
          -

Global rules for this entity data type

          -