Ini ialah arahan abl yang boleh dijalankan dalam penyedia pengehosan percuma OnWorks menggunakan salah satu daripada berbilang stesen kerja dalam talian percuma kami seperti Ubuntu Online, Fedora Online, emulator dalam talian Windows atau emulator dalam talian MAC OS.
JADUAL:
NAMA
abl - Perwakilan awalan untuk fungsi boolean
DESCRIPTION
libablmmm.a ialah perpustakaan yang membolehkan untuk mewakili fungsi boolean dalam bentuk seperti LISP.
ABL ialah perwakilan dalaman awalan untuk fungsi boolean yang mempunyai standard
operator sebagai OR,NOR,NAND,XOR,NOT dan AND. ABL hanya terdiri daripada berganda. Doublet ialah
terdiri daripada dua medan yang boleh diakses oleh functionnal #tentukan KERETA and CDR. A
doublet dilaksanakan dengan MBK senarai_rantai.
ungkapan ialah istilah generik untuk fungsi boolean yang diwakili oleh ABL. Satu ungkapan
boleh menjadi ungkapan atom atau ungkapan operator. Fungsinya f = a diwakili
oleh ungkapan atom sedangkan f = (Atau a b) diwakili oleh ungkapan operator. An
ungkapan atom terdiri daripada doublet tunggal yang mempunyai NEXT penunjuk sama dengan NULL dan
DATA penunjuk sama dengan penunjuk pengecam. Ungkapan atom tetap ialah atom
ungkapan yang mempunyai rentetan "'0'" atau "'1'" sebagai pengecam.
Ungkapan operator lebih rumit daripada ungkapan atom. Ia adalah senarai
item, item pertama ialah pengendali utama ungkapan dan item berikut ialah
hujah-hujah ungkapan tersebut. Ia mungkin untuk melalui hujah dengan memanggil
fungsional #tentukan CDR. Kemudian setiap hujah boleh diakses oleh functionnal #tentukan KERETA.
Argumen boleh menjadi ungkapan atom atau operator secara rekursif. The arity of an
ungkapan operator ialah bilangan hujah peringkat pertama.
Fungsi dibahagikan kepada dua kumpulan, fungsi tahap rendah ditulis dengan #tentukan
dan digunakan untuk mengurus bentuk dalaman ABL, fungsi peringkat tinggi digunakan untuk mengurus
ungkapan boolean. Semua fungsi ditakrifkan dalam fail "prefbib.c" (#tentukan in
"logmmm.h").
Fungsional #tentukan
ATOM - menyemak jenis ungkapan (ungkapan atom atau operator).
KERETA - mengembalikan DATA penunjuk doublet.
CADR - mengembalikan DATA penunjuk daripada NEXT penunjuk doublet.
CDR - mengembalikan NEXT penunjuk doublet.
BEROPERASI - mengembalikan nombor operator ungkapan operator.
VALUE_ATOM - mengembalikan yang berkaitan tangki * daripada ungkapan atom.
Fungsi and prosedur
addHExpr - menambah hujah baharu di kepala ungkapan operator.
addQExpr - menambah hujah baharu pada baris gilir ungkapan operator.
sebarangExpr - mengembalikan nilai logik ATAU digunakan pada keputusan
aplikasi fungsi pada hujah ungkapan operator.
changeOperExpr - menukar pengendali kepala ungkapan.
charToOper - menukar rentetan operator kepada nombor operator.
copyExpr - menyalin ungkapan.
createAtom - mencipta ungkapan atom.
createBinExpr - mencipta ungkapan operator binari dengan penggabungan akhirnya
pengendali.
createExpr - mencipta kepala ekspresi operator.
deleteNumExpr - mengalih keluar hujah ke-i dalam ungkapan operator.
devXor2Expr - menukarkan XOR 2 kepada OR-AND.
devXorExpr - mengeluarkan XOR dalam ungkapan.
paparanExpr - memaparkan ungkapan dalam tatatanda awalan.
displayInfExpr - memaparkan ungkapan dalam tatatanda infixed.
equalExpr - menyemak bahawa dua ungkapan adalah sama.
equalVarExpr - menyemak bahawa dua ungkapan adalah sama secara sintaksis.
everyExpr - mengembalikan nilai logik DAN digunakan pada keputusan
aplikasi fungsi pada hujah ungkapan operator.
exprToChar - menukar ungkapan kepada rentetan.
charToExpr - menukar rentetan kepada ungkapan.
flatArityExpr - meratakan pengendali sesuatu ungkapan.
flatPolarityExpr - menterjemahkan penyongsang ungkapan kepada tahap atom
ungkapan.
percumaExpr - membebaskan ekspresi.
identExpr - memberikan pengecam daripada ungkapan operator.
panjangExpr - mengembalikan bilangan hujah dalam ungkapan.
mapCarExpr - mencipta ungkapan baharu dengan menggunakan fungsi pada semua hujah bagi
ungkapan operator.
mapExpr - menggunakan prosedur untuk semua hujah ungkapan operator.
maxExpr - mengembalikan hujah tertinggi ungkapan operator.
minExpr - mengembalikan hujah terendah bagi ungkapan operator.
normExpr - menormalkan ungkapan.
notExpr - melengkapkan ungkapan dan akhirnya melakukan pemudahan.
numberAtomExpr - mengembalikan bilangan atom dalam ungkapan.
nomborOccExpr - mengembalikan bilangan masa atom muncul dalam ungkapan.
numberOperBinExpr - mengembalikan bilangan pengendali binari yang setara dalam ungkapan.
operToChar - menukar nombor operator kepada rentetan operator.
profExpr - mengembalikan kedalaman ungkapan.
profAOExpr - mengembalikan kedalaman ungkapan tanpa mengambil penyongsang
akaun.
carianExpr - mencari atom tertentu dalam ungkapan.
carianNumExpr - mengambil hujah ke-i dalam ungkapan operator.
carianOperExpr - mencari operator dalam ungkapan.
simplif10Expr - membuat penyederhanaan pada ungkapan termasuk atom malar
ungkapan.
simplifNotExpr - membuat penyederhanaan pada ungkapan termasuk penyongsang.
sortExpr - menyusun ungkapan.
substExpr - menyalin ungkapan dengan menggantikan atom tertentu dengan ungkapan.
substPhyExpr - menggantikan ungkapan atom dengan ungkapan dalam
ungkapan.
supportChain_listExpr
- mengembalikan sokongan ungkapan dalam a senarai_rantai.
supportPtype_listExpr
- mengembalikan sokongan ungkapan dalam a ptype_list.
wPMExpr - mengembalikan 1 jika padanan corak mungkin antara dua
ungkapan.
Gunakan abl dalam talian menggunakan perkhidmatan onworks.net