Overview Schemas Index

Set_theory_arm         

ENTITY Power_set;
          id : STRING;
          name : STRING;
          description : OPTIONAL STRING;
          base : Class;
          derived : Class;
END_ENTITY; -- Power_set

Entity data types and their attributes

Power_set
          id: STRING;
          name: STRING;
          (OPT) description: STRING;
          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

          -