Intervalli aritmeettinen Ada on matematiikan kirjasto, joka tarjoaa täytäntöönpano välein Ada. Se sisältää aritmeettinen ja ihmissuhteisiin toimintaa.
Esimerkkejä:
Tri-tilassa logiikka
Paketti intervallit toimii root paketti ja myös kolmitilaista logiikka tarpeen määritellä relaatio toimintansa välein. Tyyppi Looginen määritellään seuraavasti:
tyyppi Looginen on (False, True, Epävarma);
Seuraavat toiminnot määritellään Looginen:
toiminto "ei" (vasen: Looginen) palaa Looginen;
toiminto "ja" (vasen, oikea: Looginen) palaa Looginen;
toiminto "ja" (vasen: Looginen; Right: Boolean)
palata Looginen;
toiminto "ja" (vasen: Looginen; Right: Looginen)
palata Looginen;
toiminto "tai" (vasen, oikea: Looginen) palaa Looginen;
toiminto "tai" (vasen: Looginen; Right: Boolean)
palata Looginen;
toiminto "tai" (vasen: Looginen; Right: Looginen)
palata Looginen;
toiminto "XOR" (vasen, oikea: Looginen) palaa Looginen;
toiminto "XOR" (vasen: Looginen; Right: Boolean)
palata Looginen;
toiminto "XOR" (vasen: Looginen; Right: Looginen)
Palaa Looginen;
Mitä uutta tässä julkaisussa:
- Tämä julkaisu on pakattu Fedora ja Debian 32- ja 64- bittinen x86 arkkitehtuurit.
Kommentteja ei löytynyt