L'arithmétique d'intervalle pour l'ADA est une bibliothèque mathématique qui fournit une application des intervalles pour l'ADA. Elle comprend des fonctionnements arithmétiques et apparentés.

Exemples :

Logique de trois états

Les intervalles d'ensemble de mesures sert d'ensemble de mesures de fond et fournit également la logique de trois états nécessaire de définir des fonctionnements apparentés sur des intervalles. Le type logique est défini comme :

le type logique est (trompeur, vrai, incertain) ;

Les fonctionnements suivants sont définis pour logique :

fonctionnement « pas » (parti : ) Renvoi logique logique ;
fonctionnement « et » (parti, droit : ) Renvoi logique logique ;
fonctionnement « et » (parti : Logique ; Droite : Booléen)
logique de renvoi ;
fonctionnement « et » (parti : Booléen ; Droite : Logique)
logique de renvoi ;
fonctionnement « ou » (parti, droit : ) Renvoi logique logique ;
fonctionnement « ou » (parti : Logique ; Droite : Booléen)
logique de renvoi ;
fonctionnement « ou » (parti : Booléen ; Droite : Logique)
logique de renvoi ;
fonctionnement « xor » (parti, droit : ) Renvoi logique logique ;
fonctionnement « xor » (laissé : Logique ; Droite : Booléen)
logique de renvoi ;
fonctionnement « xor » (laissé : Booléen ; Droite : Logique)
logique de renvoi ;

Ce qu'il y a de neuf dans ce desserrage :

· Pour les usagers GPS de MOUCHERON les fichiers projet étaient inclus ;
· Basé sur des ensembles de mesure pour l'ADA v 2.4.