در حساب فاصله برای آدا یک کتابخانه ریاضی فراهم می کند که یک پیاده سازی از فواصل برای آدا است. این شامل حساب و عملیات رابطه ای.
مثال:
سه جانبه دولت منطق
فواصل بسته به عنوان یک بسته ریشه خدمت می کند و همچنین منطق سه جانبه دولت لازم برای تعریف عملیات رابطه ای در فواصل فراهم می کند. نوع منطقی به عنوان تعریف می شود:
نوع منطقی است (نادرست، درست است، نامشخص).
عملیات زیر را برای منطقی تعریف می شود:
تابع "نه" (چپ: منطقی) بازگشت منطقی.
عملکرد "و" (چپ، راست: منطقی) بازگشت منطقی.
عملکرد "و" (چپ: منطقی، راست: بولی)
بازگشت منطقی.
عملکرد "و" (چپ: بولی، راست: منطقی)
بازگشت منطقی.
عملکرد "و یا" (چپ، راست: منطقی) بازگشت منطقی.
عملکرد "و یا" (چپ: منطقی، راست: بولی)
بازگشت منطقی.
عملکرد "و یا" (چپ: بولی، راست: منطقی)
بازگشت منطقی.
تابع "XOR" (چپ، راست: منطقی) بازگشت منطقی.
تابع "XOR" (چپ: منطقی، راست: بولی)
بازگشت منطقی.
تابع "XOR" (چپ: بولی، راست: منطقی)
بازگشت منطقی؛
چه جدید در این نسخه است:
در این نسخه برای فدورا و دبیان معماری 32- و 64 بیتی x86 را بسته بندی.
نظر یافت نشد