abl - Online di Awan

PROGRAM:

NAMA

abl - Representasi awalan untuk fungsi boolean

DESKRIPSI

libablmmm.a adalah perpustakaan yang memungkinkan untuk mewakili fungsi boolean dalam bentuk seperti LISP.
ABL adalah representasi internal awalan untuk fungsi boolean yang memiliki standar
operator sebagai OR,NOR,NAND,XOR,NOT dan AND. Sebuah ABL hanya terdiri dari doublet. Sebuah doublet adalah
terdiri dari dua bidang yang dapat diakses oleh fungsi #menetapkan MOBIL dan CDR. Sebuah
doublet diimplementasikan dengan MBK daftar_rantai.
Ekspresi adalah istilah umum untuk fungsi boolean yang diwakili oleh ABL. Sebuah ekspresi
dapat berupa ekspresi atomik atau ekspresi operator. Fungsinya f = a diwakili
dengan ekspresi atom sedangkan f = (Atau a b) diwakili oleh ekspresi operator. NS
ekspresi atom terdiri dari doublet tunggal yang memiliki BERIKUTNYA pointer sama dengan NULL dan
DATA penunjuk sama dengan penunjuk pengenal. Ekspresi atom konstan adalah atom
ekspresi yang memiliki string "'0'" atau "'1'" sebagai pengenal.
Ekspresi operator lebih rumit daripada ekspresi atom. Ini adalah daftar
item, item pertama adalah operator kepala ekspresi dan item berikut adalah
argumen ekspresi. Dimungkinkan untuk melewati argumen dengan memanggil
fungsional #menetapkan CDR. Kemudian setiap argumen dapat diakses oleh functionnal #menetapkan MOBIL.
Argumen dapat berupa ekspresi atomik atau operator secara rekursif. Kehebatan seorang
ekspresi operator adalah jumlah argumen tingkat pertama.
Fungsi dibagi menjadi dua kelompok, fungsi tingkat rendah ditulis dengan #menetapkan
dan digunakan untuk mengelola bentuk internal ABL, fungsi tingkat tinggi digunakan untuk mengelola
ekspresi boolean. Semua fungsi didefinisikan dalam file "prefbib.c" (#menetapkan in
"logmmm.h").

Fungsional #menetapkan

ATOM - memeriksa jenis ekspresi (ekspresi atom atau operator).

MOBIL - mengembalikan DATA penunjuk doublet.

CADR - mengembalikan DATA penunjuk dari BERIKUTNYA penunjuk doublet.

CDR - mengembalikan BERIKUTNYA penunjuk doublet.

OPERA - mengembalikan nomor operator dari ekspresi operator.

VALUE_ATOM - mengembalikan yang terkait tangki * dari ekspresi atom.

Fungsi dan Prosedur

tambahkanHExpr - menambahkan argumen baru di kepala ekspresi operator.

tambahkanQExpr - menambahkan argumen baru pada antrian ekspresi operator.

setiapExpr - mengembalikan nilai logika OR yang diterapkan pada hasil
penerapan fungsi pada argumen ekspresi operator.

ubahOperExpr - mengubah operator kepala ekspresi.

charToOper - mengubah string operator menjadi nomor operator.

salinanExpr - menyalin ekspresi.

buatAtom - menciptakan ekspresi atom.

buatBinExpr - membuat ekspresi operator biner dengan penggabungan akhir dari
operator.

buat Ekspr - membuat kepala ekspresi operator.

hapusNumExpr - menghapus argumen ke-i dalam ekspresi operator.

devXor2Expr - mengkonversi XOR 2 ke OR-AND.

devXorExpr - menghapus XOR dalam ekspresi.

tampilanExpr - menampilkan ekspresi dalam notasi awalan.

tampilanInfExpr - menampilkan ekspresi dalam notasi infiks.

samaExpr - memeriksa bahwa dua ekspresi benar-benar sama.

samaVarExpr - memeriksa bahwa dua ekspresi sama secara sintaksis.

setiap Ekspr - mengembalikan nilai logika AND yang diterapkan pada hasil
penerapan fungsi pada argumen ekspresi operator.

exprToChar - mengubah ekspresi menjadi string.

charToExpr - mengubah string menjadi ekspresi.

flatArityExpr - meratakan operator ekspresi.

datarPolaritasExpr - menerjemahkan inverter dari ekspresi ke tingkat atom
ekspresi.

gratisExpr - membebaskan ekspresi.

identitasExpr - memberikan pengenal dari ekspresi operator.

panjangExpr - mengembalikan jumlah argumen dalam ekspresi.

petaMobilExpr - membuat ekspresi baru dengan menerapkan fungsi ke semua argumen dari
ekspresi operator.

petaExpr - menerapkan prosedur untuk semua argumen ekspresi operator.

maxExpr - mengembalikan argumen tertinggi dari ekspresi operator.

menitExpr - mengembalikan argumen terendah dari ekspresi operator.

normaExpr - menormalkan ekspresi.

bukanExpr - melengkapi ekspresi dan akhirnya melakukan penyederhanaan.

nomorAtomExpr - mengembalikan jumlah atom dalam ekspresi.

nomorOccExpr - mengembalikan jumlah waktu atom muncul dalam ekspresi.

nomorOperBinExpr - mengembalikan jumlah operator biner yang setara dalam sebuah ekspresi.

operToChar - mengubah nomor operator menjadi string operator.

ProfExpr - mengembalikan kedalaman ekspresi.

profAOExpr - mengembalikan kedalaman ekspresi tanpa memasukkan inverter
rekening.

cariExpr - mencari atom tertentu dalam ekspresi.

cariNumExpr - mengambil argumen ke-i dalam ekspresi operator.

cariOperExpr - mencari operator dalam ekspresi.

sederhana10Expr - membuat penyederhanaan pada ekspresi termasuk atom konstan
ekspresi.

simplifNotExpr - membuat penyederhanaan pada ekspresi termasuk inverter.

sortirExpr - mengurutkan ekspresi.

substExpr - menyalin ekspresi dengan mengganti atom tertentu dengan ekspresi.

substPhyExpr - mengganti ekspresi atomik dengan ekspresi dalam an
ekspresi.

supportChain_listExpr
- mengembalikan dukungan ekspresi dalam a daftar_rantai.

dukunganPtype_listExpr
- mengembalikan dukungan ekspresi dalam a ptype_list.

wPMExpr - mengembalikan 1 jika pencocokan pola dimungkinkan antara dua
ekspresi.

Gunakan abl online menggunakan layanan onworks.net