4.2. Exemple : les ensembles

• leur déclaration spécifie un type de base qui doit être un type énuméré.

• le rôle d'un ensemble est d'indiquer la présence ou l'absence de chacune des valeurs possibles du type de base dans cet ensemble.

• les primitives de manipulations sont :   
       
  1. regroupement d'une ou plusieurs valeurs de type de base sous forme d'ensemble,
  2. est d'appartenance d'une valeur de type de base à un ensemble,
  3. l'affectation d'un ensemble à une variable de type ensemble compatible,
  4. la comparaison de deux ensembles,
  5. le test d'inclusion d'un ensemble dans un autre,
  6. union de deux ensembles,
  7. intersection de deux ensembles,
  8. différence de deux ensembles.

Ces quatre dernières primitives pourraient être construites à partir des trois premières. De plus, les trois dernières sont redondantes entre elles car chacune peut être facilement définie à l'aide des deux autres. On pourrait donc omettre l'une d'entre elles, voire les quatre, sans réduire la fonctionalité du type abstrait "ensemble".

On peut noter qu'il n'est pas nécessaire d'inclure le test de non-appartenance à un ensemble, car il suffit pour cela de prendre la négation du test d'appartenance.

4.3. Exemple : chaines de caractères de longueur variable

Table des matières.

Site Hosting: Bronco