Pagitan palatuusan para sa Ada ay isang matematika library na nagbibigay ng isang pagpapatupad ng mga agwat para sa Ada. May kasama palatuusan at pagpapatakbo relational.
Mga halimbawa:
Tri-estado logic
Ang pakete na agwat nagsisilbing isang root pakete at din ay nagbibigay ng Tri-estado logic na kailangan upang tukuyin ang mga pagpapatakbo relational sa pagitan. Ang uri ng Lohiko ay tinukoy bilang:
Uri ng Lohiko ay (False, True, hindi tiyak);
Ang mga sumusunod na mga operasyon ay tinukoy para sa Lohiko:
function na "hindi" (Kaliwa: Lohiko) bumalik Lohiko;
function na "at" (Kaliwa, Kanan: Lohiko) bumalik Lohiko;
function na "at" (Kaliwa: Lohiko; Kanan: Boolean)
bumalik Lohiko;
function na "at" (Kaliwa: Boolean; Kanan: Lohiko)
bumalik Lohiko;
function na "o" (Kaliwa, Kanan: Lohiko) bumalik Lohiko;
function na "o" (Kaliwa: Lohiko; Kanan: Boolean)
bumalik Lohiko;
function na "o" (Kaliwa: Boolean; Kanan: Lohiko)
bumalik Lohiko;
function na "xor" (Kaliwa, Kanan: Lohiko) bumalik Lohiko;
function na "xor" (Kaliwa: Lohiko; Kanan: Boolean)
bumalik Lohiko;
function na "xor" (Kaliwa: Boolean; Kanan: Lohiko)
bumalik Lohiko;
Ano ang bagong sa paglabas:
- Ang release na ito ay naka-package para sa Fedora at Debian 32- at 64- bit x86 architectures.
Mga Komento hindi natagpuan