Interval arithmetic for Ada 1.10

חשבון מרווח לעדה היא ספריית מתמטיקה שמספקת יישום של מרווחים לעדה. הוא כולל חשבון ופעולות יחסיים.דוגמאות:Tri-מדינת היגיוןמרווחי החבילה משמש כחבילת שורש ומספקים גם היגיון שלוש מדינות צורך להגדיר פעולות יחסיים במרווחים. הסוג הלוגי מוגדר: סוג לוגי הוא (False,...