Overview Schemas Index

SET_THEORY_SCHEMA (jsdai.SSet_theory_schema)


ENTITY proper_subset
          SUBTYPE OF (subset);
WHERE
          subset_different: NOT identical_sets(superset, subset);
END_ENTITY; -- proper_subset

Entity data types and their attributes

subset
          id: identifier;
          name: label;
          (OPT) description: text;
          subset: class;
          superset: class;
proper_subset
          -

Users

subset
proper_subset

Global rules for this entity data type

          -

public interface EProper_subset extends ESubset


public class CProper_subset implements EProper_subset


public class AProper_subset extends AEntity

          public EProper_subset getByIndex(int index)
          public EProper_subset getCurrentMember(SdaiIterator it)