Interval rekenkunde voor Ada is een wiskunde bibliotheek die een implementatie van intervallen voor Ada biedt. Het omvat rekenkundige en relationele operaties.
Voorbeelden:
Tri-state logica
Het pakket Intervallen dient als root-pakket en biedt ook tri-state logica nodig om relationele operaties op intervallen definiëren. Het type Logische wordt gedefinieerd als:
soort Logisch is (onwaar, waar, Onzekere);
De volgende bewerkingen zijn gedefinieerd voor Logisch:
functie "niet" (Links: Logisch) terug Logische;
functie "en" (links, rechts: Logisch) terug Logische;
functie "en" (Links: Logisch; Rechts: Boolean)
Logische terugkeren;
functie "en" (Links: Boolean; Rechts: Logisch)
Logische terugkeren;
functie "of" (links, rechts: Logisch) terug Logische;
functie "of" (Links: Logisch; Rechts: Boolean)
Logische terugkeren;
functie "of" (Links: Boolean; Rechts: Logisch)
Logische terugkeren;
functie "xor" (links, rechts: Logisch) terug Logische;
functie "xor" (Links: Logisch; Rechts: Boolean)
Logische terugkeren;
functie "xor" (Links: Boolean; Rechts: Logisch)
Logische terugkeren;
Wat is nieuw in deze release:
- Deze release is verpakt voor Fedora en Debian 32- en 64- bit x86 architecturen.
Reacties niet gevonden