Abstandarithmetik für Ada ist eine mathematische Bibliothek, die eine Umsetzung der Abstände für Ada zur Verfügung stellt. Sie einschließt die arithmetischen und relationalen Arbeitsweisen en.

Beispiele:

Tristate-Logik

Die Paket Abstände dient als Wurzelpaket und liefert auch die Tristate-Logik, die notwendig ist, relationale Arbeitsweisen auf Abständen zu definieren. Der logische Typ definiert wie:

der logische Typ ist (falsch, zutreffend, unsicher);

Die folgenden Arbeitsweisen definiert für logisches:

Funktion „nicht“ (verlassen: Logischer) Umsatz logisch;
Funktion „und“ (verlassen, recht: Logischer) Umsatz logisch;
Funktion „und“ (verlassen: Logisch; Recht: Boolesch)
Rückhollogisches;
Funktion „und“ (verlassen: Boolesch; Recht: Logisch)
Rückhollogisches;
Funktion „oder“ (verlassen, recht: Logischer) Umsatz logisch;
Funktion „oder“ (verlassen: Logisch; Recht: Boolesch)
Rückhollogisches;
Funktion „oder“ (verlassen: Boolesch; Recht: Logisch)
Rückhollogisches;
Funktion „xor“ (verlassen, recht: Logischer) Umsatz logisch;
Funktion „xor“ (gelassen: Logisch; Recht: Boolesch)
Rückhollogisches;
Funktion „xor“ (gelassen: Boolesch; Recht: Logisch)
Rückhollogisches;

Was in diesem Auslösen neu ist:

· Für MÜCKE-Benutzer waren GPS-Projektdateien enthalten;
· Auf Messen-Geräten für Ada V 2.4 gegründet.