IAlgebreCommutative

Définition...
Opérateurs...
Exemple...
Voir aussi...
Traduction...

/***************************************************************/
Interface IAlgebreCommutative Defaut Final
/* Objet : Definition des algèbres commutatives. */
/***************************************************************/
Public : Fin Interface

L'interface IAlgebreCommutative modélise un espace comportant les opérations standards d'addition, de soustraction et de multiplication. Ce concept est important puisque ses propriétés sont utilisées par l'algorithme de preuve de programme d'Up ! Compiler.

L'interface IAlgebreCommutative ne possède pas de constructeur implicite.

Revenir en haut de la page...

L'interface IAlgebreCommutative possède les opérateurs standards suivants :

Revenir en haut de la page...

Principal
Variable /* 'PrixArticle' est une variable de type entier. */

Debut
...
PrixArticle=PrixArticle+10;
/* Addition de deux entiers. */
PrixArticle=PrixArticle-10;
/* Soustraction de deux entiers. */
PrixArticle=PrixArticle*2;
/* Multiplication de deux entiers. */
...
Fin Principal

Revenir en haut de la page...

Entier et Reel pour connaître les types implémentant cette interface.

Revenir en haut de la page...

IAuswechselbareAlgebraICommutativeAlgebraI可交换的代数IAlgebraComutativa----

Revenir en haut de la page...