Intervall aritmetikk for Ada er en matte bibliotek som gir en implementering av intervaller for Ada. Det inkluderer aritmetikk og relasjonsoperasjonene.
Eksempler:
Tri-state logikk
Pakken Intervaller fungerer som en rot pakke og gir også tri-state logikk nødvendig å definere relasjonsoperasjonene på intervaller. Den type logiske er definert som:
typen Logisk er (usann eller sann, Usikkert);
Følgende operasjoner er definert for Logical:
funksjonen "ikke" (Venstre: Logisk) returnerer Logisk;
funksjon "og" (Venstre, Høyre: Logisk) returnerer Logisk;
funksjon "og" (Venstre: Logisk, Høyre: Boolean)
returnere Logisk;
funksjon "og" (Venstre: Boolean, Høyre: Logisk)
returnere Logisk;
funksjon "eller" (Venstre, Høyre: Logisk) returnerer Logisk;
funksjon "eller" (Venstre: Logisk, Høyre: Boolean)
returnere Logisk;
funksjon "eller" (Venstre: Boolean, Høyre: Logisk)
returnere Logisk;
funksjonen "xor" (Venstre, Høyre: Logisk) returnerer Logisk;
funksjonen "xor" (Venstre: Logisk, Høyre: Boolean)
returnere Logisk;
funksjonen "xor" (Venstre: Boolean, Høyre: Logisk)
returnere logisk;
Hva er nytt i denne utgaven:
- Denne utgivelsen er pakket for Fedora og Debian 32- og 64- bits x86 arkitekturer.
Kommentarer ikke funnet