Διάστημα αριθμητική για Ada είναι μια βιβλιοθήκη μαθηματικών που παρέχει μια εφαρμογή των διαστημάτων για Ada. Περιλαμβάνει αριθμητική και συναφείς λειτουργίες.
Παραδείγματα:
Τρι-κρατική λογική
Τα διαστήματα πακέτο χρησιμεύει ως ένα πακέτο ρίζα και επίσης παρέχει τρι-κρατική λογική αναγκαίο να καθοριστούν σχεσιακές πράξεις σε διαστήματα. Ο τύπος Λογική ορίζεται ως εξής:
Τύπος Λογικό είναι (Ψευδές, Αληθές, Αβέβαιο)?
Οι ακόλουθες εργασίες που ορίζονται για Λογική:
λειτουργία "δεν" (Αριστερά: Λογική) επιστρέφουν Λογική?
λειτουργία "και" (αριστερά, δεξιά: Λογική) επιστρέφουν Λογική?
λειτουργία "και" (Αριστερά: Λογική? Δεξιά: Boolean)
Λογική επιστρέψει?
λειτουργία "και" (Αριστερά: Boolean? Δεξιά: Λογική)
Λογική επιστρέψει?
λειτουργία "ή" (αριστερά, δεξιά: Λογική) επιστρέφουν Λογική?
λειτουργία "ή" (Αριστερά: Λογική? Δεξιά: Boolean)
Λογική επιστρέψει?
λειτουργία "ή" (Αριστερά: Boolean? Δεξιά: Λογική)
Λογική επιστρέψει?
λειτουργία "XOR" (αριστερά, δεξιά: Λογική) επιστρέφουν Λογική?
λειτουργία "XOR" (Αριστερά: Λογική? Δεξιά: Boolean)
Λογική επιστρέψει?
λειτουργία "XOR" (Αριστερά: Boolean? Δεξιά: Λογική)
Λογική επιστρέψει?
Τι είναι καινούργιο σε αυτήν την έκδοση:
- Αυτή η έκδοση είναι συσκευασμένο για το Fedora και Debian 32- και 64- bit αρχιτεκτονικές x86.
Τα σχόλια δεν βρέθηκε