هذا هو الأمر abl الذي يمكن تشغيله في مزود الاستضافة المجانية OnWorks باستخدام إحدى محطات العمل المجانية المتعددة عبر الإنترنت مثل Ubuntu Online أو Fedora Online أو محاكي Windows عبر الإنترنت أو محاكي MAC OS عبر الإنترنت
برنامج:
اسم
ABL - تمثيل البادئة للوظائف المنطقية
الوصف
libablmmm.a هي مكتبة تمكن من تمثيل وظيفة منطقية في شكل يشبه LISP.
ABL هو تمثيل داخلي مسبوق لوظيفة منطقية لها معيار
عوامل التشغيل مثل OR و NOR و NAND و XOR و NOT و AND. يتكون ABL فقط من أزواج. مزدوج هو
يتألف من حقلين يمكن الوصول إليها من قبل الوظيفة # تعريف سيارة و CDR. A
يتم تنفيذ doublelet مع MBK سلسلة_قائمة.
التعبير هو المصطلح العام للدالة المنطقية التي يمثلها ABL. تعبير
يمكن أن يكون تعبيرًا ذريًا أو تعبير عامل. الوظيفة f = a يتمثل
بالتعبير الذري بينما f = (أو a b) يتم تمثيله بواسطة تعبير عامل التشغيل. ان
يتكون التعبير الذري من مضاعفة واحدة لها NEXT المؤشر يساوي NULL و
بيانات المؤشر يساوي مؤشر المعرف. التعبير الذري الثابت هو ذري
تعبير يحتوي على السلسلة "'0'" أو "'1'" كمعرف.
تعبير عامل التشغيل أكثر تعقيدًا من التعبير الذري. إنها قائمة
العناصر ، العنصر الأول هو عامل التشغيل الرئيسي للتعبير والعناصر التالية هي
حجج التعبير. من الممكن مراجعة الحجج عن طريق استدعاء
وظيفية # تعريف CDR. ثم يمكن الوصول إلى كل وسيطة بواسطة الوظيفة # تعريف سيارة.
يمكن أن تكون الحجة بشكل متكرر عبارة عن تعبير ذري أو تعبير عامل. إن موقع
تعبير عامل التشغيل هو عدد وسيطات المستوى الأول.
تنقسم الوظائف إلى مجموعتين ، تتم كتابة وظائف المستوى المنخفض باستخدام # تعريف
وتستخدم لإدارة النموذج الداخلي لـ ABL ، يتم استخدام الوظائف عالية المستوى للإدارة
التعبيرات المنطقية. يتم تعريف جميع الوظائف في ملف "prefbib.c" (# تعريف in
"logmmm.h").
وظيفي # تعريف
ATOM - يتحقق من نوع التعبير (تعبير ذري أو تعبير عامل).
سيارة - يعيد ال بيانات مؤشر مزدوج.
معدل تسليم المساكن (CADR). - يعيد ال بيانات مؤشر NEXT مؤشر مزدوج.
CDR - يعيد ال NEXT مؤشر مزدوج.
OPER - إرجاع رقم عامل تعبير عامل التشغيل.
VALUE_ATOM - يسترجع المصاحب دبابة * للتعبير الذري.
وظائف و الإجراءات
addHExpr - يضيف وسيطات جديدة في رأس تعبير عامل التشغيل.
addQExpr - يضيف وسيطات جديدة في قائمة انتظار تعبير عامل التشغيل.
أيكسبر - ترجع قيمة OR المنطقية المطبقة على نتائج
تطبيق دالة على وسيطات تعبير عامل التشغيل.
ChangeOperExpr - يغير مشغل رأس التعبير.
CharToOper - يحول سلسلة المشغل إلى رقم المشغل.
نسخ - نسخ التعبير.
createAtom - يخلق التعبير الذري.
إنشاء BinExpr - يُنشئ تعبير عامل تشغيل ثنائي مع دمج نهائي لـ
المشغل.
خلق - ينشئ رأس تعبير عامل التشغيل.
deleteNumExpr - يزيل الوسيطة i في تعبير عامل التشغيل.
devXor2Expr - يحول XOR 2 إلى OR-AND.
devXorExpr - يزيل XOR في التعبير.
عرض - يعرض تعبيرًا بعلامة مسبوقة.
DisplayInfExpr - يعرض تعبيرا في تدوين مثبت.
يساوي - يتحقق من تساوي تعبيرين بشكل صارم.
يساوي - يتحقق من تساوي تعبيرين نحويًا.
كل - ترجع قيمة المنطقية AND المطبقة على نتائج
تطبيق دالة على وسيطات تعبير عامل التشغيل.
اكسبرتوتشار - يحول التعبير إلى سلسلة.
charToExpr - يحول سلسلة إلى تعبير.
flatArityExpr - تسطيح عوامل تشغيل التعبير.
قطبية مسطحة - يترجم محولات التعبير إلى المستوى الذري
التعبيرات.
مجاني - يحرر التعبير.
IdentExpr - يعطي معرف من تعبير عامل التشغيل.
الطول - تُرجع عدد الوسائط في تعبير ما.
MapCarExpr - يُنشئ تعبيرًا جديدًا عن طريق تطبيق دالة على جميع وسيطات
تعبير عامل.
MapExpr - يطبق إجراء على جميع الوسائط الخاصة بتعبير عامل التشغيل.
ماكس - تُرجع الوسيطة الأعلى لتعبير عامل التشغيل.
minExpr - تُرجع أدنى وسيطة لتعبير عامل التشغيل.
NormExpr - تطبيع التعبير.
لا - يكمل التعبير وفي النهاية يقوم بالتبسيط.
رقم - تسترجع عدد الذرات في التعبير.
رقم - تسترجع عدد مرات ظهور الذرة في التعبير.
عدد - تُرجع عدد العوامل الثنائية المكافئة في تعبير ما.
operToChar - يحول رقم عامل إلى سلسلة عامل.
بروفيسور - يسترجع عمق التعبير.
profAOExpr - يسترجع عمق التعبير دون أخذ المحولات فيه
حساب.
البحث - يبحث عن ذرة معينة في التعبير.
البحث - يجلب الوسيطة i في تعبير عامل التشغيل.
البحث - يبحث عن عامل في التعبير.
بسيط - يجعل التبسيط على تعبير بما في ذلك ثابت الذري
التعبيرات.
simpleifNotExpr - يجعل التبسيط على التعبير بما في ذلك العاكسات.
الترتيب - يفرز التعبير.
subExpr - ينسخ تعبيرًا باستبدال ذرة معينة بتعبير.
subPhyExpr - يستبدل التعبير الذري بتعبير داخل
التعبير.
supportChain_listExpr
- يسترجع دعم التعبير في ملف سلسلة_قائمة.
supportPtype_listExpr
- يسترجع دعم التعبير في ملف ptype_list.
wPMExpr - تُرجع 1 إذا كانت مطابقة النمط ممكنة بين اثنين
التعبيرات.
استخدم abl عبر الإنترنت باستخدام خدمات onworks.net