این دستور abl است که می تواند در ارائه دهنده هاست رایگان OnWorks با استفاده از یکی از چندین ایستگاه کاری آنلاین رایگان ما مانند Ubuntu Online، Fedora Online، شبیه ساز آنلاین ویندوز یا شبیه ساز آنلاین MAC OS اجرا شود.
برنامه:
نام
عبلا - نمایش پیشوندی برای توابع بولی
شرح
libablmmm.a کتابخانه ای است که امکان نمایش یک تابع بولی را به شکل LISP مانند می دهد.
یک ABL یک نمایش داخلی پیشوندی برای یک تابع بولی دارای استاندارد است
عملگرهایی مانند OR، NOR، NAND، XOR، NOT و AND. یک ABL فقط از دوتایی تشکیل شده است. یک دوتایی است
متشکل از دو فیلد که توسط تابع قابل دسترسی هستند #تعريف كردن خودرو و CDR.
doublet با یک MBK پیاده سازی می شود chain_list.
اصطلاح اصطلاح عمومی برای یک تابع بولی است که با یک ABL نشان داده می شود. یک بیان
می تواند یک عبارت اتمی یا یک عبارت عملگر باشد. کارکرد f = a نمایندگی شده است
با بیان اتمی در حالی که f = (و یا a b) با یک عبارت عملگر نشان داده می شود. یک
بیان اتمی از یک دوتایی منفرد تشکیل شده است بعدی اشاره گر برابر با NULL و
داده ها نشانگر برابر با نشانگر شناسه یک بیان اتمی ثابت یک اتمی است
عبارت دارای رشته "'0'" یا "'1" به عنوان شناسه.
یک عبارت عملگر پیچیده تر از یک عبارت اتمی است. این یک لیست از
آیتم ها اولین مورد عملگر سر عبارت و آیتم های زیر هستند
استدلال های بیان می توان با فراخوانی از استدلال ها عبور کرد
کاربردی #تعريف كردن CDR. سپس هر آرگومان توسط تابع قابل دسترسی است #تعريف كردن خودرو.
یک آرگومان می تواند به صورت بازگشتی یک عبارت اتمی یا یک عملگر باشد. آریتی یک
عبارت عملگر تعداد آرگومان های سطح اول است.
توابع به دو گروه تقسیم می شوند که توابع سطح پایین با آن نوشته می شوند #تعريف كردن
و برای مدیریت فرم داخلی ABL از توابع سطح بالا برای مدیریت استفاده می شود
عبارات بولی همه توابع در فایل "prefbib.c" تعریف شده اند (#تعريف كردن in
"logmmm.h").
عملکردی #تعريف كردن
ATOM - نوع یک عبارت (عبارت اتمی یا عملگر) را بررسی می کند.
خودرو - برمی گرداند داده ها نشانگر یک دوتایی
CADR - برمی گرداند داده ها اشاره گر از بعدی نشانگر یک دوتایی
CDR - برمی گرداند بعدی نشانگر یک دوتایی
OPER - شماره عملگر یک عبارت عملگر را برمی گرداند.
VALUE_ATOM - مربوطه را برمی گرداند ارابه * یک بیان اتمی
توابع و روش
addHExpr - یک آرگومان جدید در سر یک عبارت عملگر اضافه می کند.
addQExpr - یک آرگومان جدید در صف یک عبارت عملگر اضافه می کند.
anyExpr - مقدار یک OR منطقی اعمال شده بر روی نتایج را برمی گرداند
استفاده از یک تابع بر روی آرگومان های یک عبارت عملگر.
changeOperExpr - عملگر سر یک عبارت را تغییر می دهد.
charToOper - یک رشته عملگر را به شماره عملگر تبدیل می کند.
copyExpr - یک عبارت را کپی می کند.
ایجاد اتم - یک بیان اتمی ایجاد می کند.
createBinExpr - یک عبارت عملگر باینری با ادغام نهایی از ایجاد می کند
اپراتور.
createExpr - سر یک عبارت عملگر را ایجاد می کند.
حذفNumExpr - آرگومان i-ام را در یک عبارت عملگر حذف می کند.
devXor2Expr - XOR 2 را به OR-AND تبدیل می کند.
devXorExpr - XOR را در یک عبارت حذف می کند.
displayExpr - یک عبارت را در یک نماد پیشوند نمایش می دهد.
displayInfExpr - یک عبارت را در نماد ثابت نشان می دهد.
برابری اکسپر - بررسی می کند که دو عبارت کاملاً برابر باشند.
qualVarExpr - بررسی می کند که دو عبارت از نظر نحوی برابر باشند.
everyExpr - مقدار یک AND منطقی اعمال شده روی نتایج را برمی گرداند
استفاده از یک تابع بر روی آرگومان های یک عبارت عملگر.
exprToChar - یک عبارت را به یک رشته تبدیل می کند.
charToExpr - یک رشته را به یک عبارت تبدیل می کند.
flatArityExpr - عملگرهای یک عبارت را مسطح می کند.
flatPolarityExpr - اینورترهای یک عبارت را به سطح اتمی ترجمه می کند
اصطلاحات.
freeExpr - یک بیان را آزاد می کند.
identExpr - یک شناسه از یک عبارت عملگر می دهد.
طول اکسپر - تعداد آرگومان های یک عبارت را برمی گرداند.
mapCarExpr - با اعمال یک تابع برای همه آرگومان های یک عبارت جدید ایجاد می کند
یک عبارت عملگر
mapExpr - رویه ای را برای همه آرگومان های یک عبارت عملگر اعمال می کند.
maxExpr - بالاترین آرگومان یک عبارت عملگر را برمی گرداند.
minExpr - پایین ترین آرگومان یک عبارت عملگر را برمی گرداند.
normExpr - یک عبارت را عادی می کند.
notExpr - یک عبارت را تکمیل می کند و در نهایت یک ساده سازی انجام می دهد.
شمارهAtomExpr - تعداد اتم های یک عبارت را برمی گرداند.
شمارهOccExpr - تعداد دفعاتی که یک اتم در یک عبارت ظاهر می شود را برمی گرداند.
numberOperBinExpr - تعداد عملگرهای دودویی معادل را در یک عبارت برمی گرداند.
operToChar - یک عدد عملگر را به یک رشته عملگر تبدیل می کند.
profExpr - عمق یک عبارت را برمی گرداند.
profAOExpr - عمق یک عبارت را بدون استفاده از اینورترها برمی گرداند
حساب.
SearchExpr - یک اتم خاص را در یک عبارت جستجو می کند.
searchNumExpr - آرگومان i-ام را در یک عبارت عملگر واکشی می کند.
searchOperExpr - یک عملگر را در یک عبارت جستجو می کند.
simplif10 Expr - بر روی عبارتی از جمله اتمی ثابت ساده سازی می کند
اصطلاحات.
simplifNotExpr - یک عبارت از جمله اینورترها را ساده می کند.
sortExpr - یک عبارت را مرتب می کند.
substExpr - یک عبارت را با جایگزینی یک اتم داده شده با یک عبارت کپی می کند.
substPhyExpr - یک عبارت اتمی را با عبارتی در یک جایگزین می کند
اصطلاح.
supportChain_listExpr
- پشتیبانی یک عبارت در a را برمی گرداند chain_list.
supportPtype_listExpr
- پشتیبانی یک عبارت در a را برمی گرداند ptype_list.
wPMExpr - اگر تطبیق الگو بین دو امکان پذیر باشد، 1 را برمی گرداند
اصطلاحات.
با استفاده از خدمات onworks.net از abl آنلاین استفاده کنید
