Intervall aritmetik för Ada är ett matematiskt bibliotek som ger en implementering av intervaller för Ada. Den innehåller aritmetiska och relationsoperationer.
Exempel:
Tri-state logik
Paketet Intervaller fungerar som en rot paket och ger tri-state logik nödvändigt att definiera relations operationer på intervaller också. Typen Logisk definieras som:
typ Logisk är (falskt, sant, Osäker);
Följande verksamheter definieras för Logisk:
Funktionen "inte" (Vänster: Logisk) tillbaka Logisk;
funktion "och" (Vänster, Höger: Logisk) tillbaka Logisk;
funktion "och" (Vänster: Logisk; Höger: Boolean)
retur Logisk;
funktion "och" (Vänster: Boolean; Höger: Logisk)
retur Logisk;
Funktionen "eller" (Vänster, Höger: Logisk) tillbaka Logisk;
Funktionen "eller" (Vänster: Logisk; Höger: Boolean)
retur Logisk;
Funktionen "eller" (Vänster: Boolean; Höger: Logisk)
retur Logisk;
Funktionen "xor" (Vänster, Höger: Logisk) tillbaka Logisk;
Funktionen "xor" (Vänster: Logisk; Höger: Boolean)
retur Logisk;
Funktionen "xor" (Vänster: Boolean; Höger: Logisk)
tillbaka Logisk;
Vad är nytt i den här versionen:
- Den här versionen är paketerad för Fedora och Debian 32- och 64- bit x86 arkitekturer.
Kommentarer hittades inte