Overview Schemas Index

SET_THEORY_SCHEMA (jsdai.SSet_theory_schema)

ENTITY union_of_all_members;
          id : identifier;
          name : label;
          description : OPTIONAL text;
          operand : class;
          resultant : class;
WHERE
          resultant_different: NOT identical_sets(operand, resultant);
END_ENTITY; -- union_of_all_members

Entity data types and their attributes

union_of_all_members
          id: identifier;
          name: label;
          (OPT) description: text;
          operand: class;
          resultant: class;

Users

union_of_all_members

Global rules for this entity data type

          -

public interface EUnion_of_all_members extends EEntity

id (explicit attribute)

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

name (explicit attribute)

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

description (explicit attribute)

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

operand (explicit attribute)

          boolean testOperand(EUnion_of_all_members type)
          EClass getOperand(EUnion_of_all_members type)
          void setOperand(EUnion_of_all_members type, EClass value)
          void unsetOperand(EUnion_of_all_members type)

resultant (explicit attribute)

          boolean testResultant(EUnion_of_all_members type)
          EClass getResultant(EUnion_of_all_members type)
          void setResultant(EUnion_of_all_members type, EClass value)
          void unsetResultant(EUnion_of_all_members type)

public class CUnion_of_all_members implements EUnion_of_all_members

          static EAttribute attributeId(EUnion_of_all_members type)
          static EAttribute attributeName(EUnion_of_all_members type)
          static EAttribute attributeDescription(EUnion_of_all_members type)
          static EAttribute attributeOperand(EUnion_of_all_members type)
          static int usedinOperand(EUnion_of_all_members type, EClass instance, ASdaiModel domain, AUnion_of_all_members result)
          static EAttribute attributeResultant(EUnion_of_all_members type)
          static int usedinResultant(EUnion_of_all_members type, EClass instance, ASdaiModel domain, AUnion_of_all_members result)

public class AUnion_of_all_members extends AEntity

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