Interval arithmetic for Ada

Ada üçün Interval hesab Ada fasilələrlə bir həyata keçirilməsini təmin edən riyaziyyat kitabxana var. Bu hesab və relational əməliyyatlar daxildir.
Nümunələr:
Tri-dövlət məntiq
paketi intervalları kök paketi kimi xidmət edir və həmçinin intervalları üzrə relational əməliyyatları müəyyən etmək üçün zəruri tri-dövlət məntiq təmin edir. Məntiqi növü kimi müəyyən edilir:
 Məntiqi növü (False, True, qeyri-müəyyən);
 Aşağıdakı əməliyyatlar Məntiqi üçün müəyyən edilir:
 funksiyası "deyil" (Sol: Məntiqi) Məntiqi qayıtmaq;
 funksiyası "və" (Sol, sağ: Məntiqi) Məntiqi qayıtmaq;
    funksiyası "və" (Sol: Məntiqi; Right: Boolean)
       Məntiqi qayıtmaq;
    funksiyası "və" (Sol: Boolean; Right: Məntiqi)
       Məntiqi qayıtmaq;
 funksiyası "və ya" (Sol, sağ: Məntiqi) Məntiqi qayıtmaq;
    funksiyası "və ya" (Sol: Məntiqi; Right: Boolean)
       Məntiqi qayıtmaq;
    funksiyası "və ya" (Sol: Boolean; Right: Məntiqi)
       Məntiqi qayıtmaq;
 funksiyası "xor" (Sol, sağ: Məntiqi) Məntiqi qayıtmaq;
    funksiyası "xor" (Sol: Məntiqi; Right: Boolean)
       Məntiqi qayıtmaq;
    funksiyası "xor" (Sol: Boolean; Right: Məntiqi)
       Məntiqi qayıtmaq;

Bu azad Yeni nədir:

• Bu azad Fedora və Debian 32 və paketlenmiş 64 bit x86 arxitekturaları.