Définition...
Opérateurs...
Exemple...
Voir aussi...
Traduction...
/***************************************************************/
Interface IAlgebreCommutative Defaut Final
/* Objet : Definition des algèbres commutatives. */
/***************************************************************/
Public :
Operateur Optimiser(Invariant, NulAbsorbant) +(A : Nul Ou IAlgebreCommutative) Retourner Nul Ou IAlgebreCommutative;
Operateur Optimiser(Invariant) -() Retourner Nul Ou IAlgebreCommutative;
Operateur Optimiser(Invariant, NulAbsorbant) -(A : Nul Ou IAlgebreCommutative) Retourner Nul Ou IAlgebreCommutative;
Operateur Optimiser(Invariant, NulAbsorbant) *(A : Nul Ou IAlgebreCommutative) Retourner Nul Ou IAlgebreCommutative;
Operateur ++(P : Booleen) Retourner Nul Ou IAlgebreCommutative;
Operateur --(P : Booleen) Retourner Nul Ou IAlgebreCommutative;
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.
Principal
Variable
PrixArticle : Entier;
/* '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
IAuswechselbareAlgebra | ICommutativeAlgebra | I可交换的代数 | IAlgebraComutativa | - | - | - | - |