Overview Schemas Index

SET_THEORY_SCHEMA (jsdai.SSet_theory_schema)

ENTITY complement;
          id : identifier;
          name : label;
          description : OPTIONAL text;
          set_1 : class;
          set_2 : class;
          universe : class;
WHERE
          complement_different: NOT identical_sets(set_1, set_2);
END_ENTITY; -- complement

Entity data types and their attributes

complement
          id: identifier;
          name: label;
          (OPT) description: text;
          set_1: class;
          set_2: class;
          universe: class;

Users

complement

Global rules for this entity data type

          -

public interface EComplement extends EEntity

id (explicit attribute)

          boolean testId(EComplement type)
          String getId(EComplement type)
          void setId(EComplement type, String value)
          void unsetId(EComplement type)

name (explicit attribute)

          boolean testName(EComplement type)
          String getName(EComplement type)
          void setName(EComplement type, String value)
          void unsetName(EComplement type)

description (explicit attribute)

          boolean testDescription(EComplement type)
          String getDescription(EComplement type)
          void setDescription(EComplement type, String value)
          void unsetDescription(EComplement type)

set_1 (explicit attribute)

          boolean testSet_1(EComplement type)
          EClass getSet_1(EComplement type)
          void setSet_1(EComplement type, EClass value)
          void unsetSet_1(EComplement type)

set_2 (explicit attribute)

          boolean testSet_2(EComplement type)
          EClass getSet_2(EComplement type)
          void setSet_2(EComplement type, EClass value)
          void unsetSet_2(EComplement type)

universe (explicit attribute)

          boolean testUniverse(EComplement type)
          EClass getUniverse(EComplement type)
          void setUniverse(EComplement type, EClass value)
          void unsetUniverse(EComplement type)

public class CComplement implements EComplement

          static EAttribute attributeId(EComplement type)
          static EAttribute attributeName(EComplement type)
          static EAttribute attributeDescription(EComplement type)
          static EAttribute attributeSet_1(EComplement type)
          static int usedinSet_1(EComplement type, EClass instance, ASdaiModel domain, AComplement result)
          static EAttribute attributeSet_2(EComplement type)
          static int usedinSet_2(EComplement type, EClass instance, ASdaiModel domain, AComplement result)
          static EAttribute attributeUniverse(EComplement type)
          static int usedinUniverse(EComplement type, EClass instance, ASdaiModel domain, AComplement result)

public class AComplement extends AEntity

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