זוהי הפקודה abl שניתן להפעיל בספק האירוח החינמי של OnWorks באמצעות אחת מתחנות העבודה המקוונות המרובות שלנו, כגון Ubuntu Online, Fedora Online, אמולטור מקוון של Windows או אמולטור מקוון של MAC OS
תָכְנִית:
שֵׁם
abl - ייצוג קידומת לפונקציות בוליאניות
תיאור
libablmmm.a היא ספרייה המאפשרת לייצג פונקציה בוליאנית בצורה דמוית LISP.
ABL הוא ייצוג פנימי עם קידומת לפונקציה בוליאנית בעלת תקן
אופרטורים כמו OR,NOR,NAND,XOR,NOT ו-AND. ABL מורכב רק מכפילים. כפולה היא
מורכב משני שדות הנגישים ל-functionnal #define אוטו ו CDR.
דאבלט מיושם עם MBK שרשרת_רשימת.
ביטוי הוא המונח הכללי לפונקציה בוליאנית המיוצגת על ידי ABL. ביטוי
יכול להיות ביטוי אטומי או ביטוי אופרטור. הפונקציה f = a מיוצג
על ידי ביטוי אטומי ואילו f = (אוֹ a b) מיוצג על ידי ביטוי אופרטור. א
ביטוי אטומי מורכב מכפיל בודד בעל ה הבא מצביע שווה ל-NULL ו
נתונים מצביע שווה למצביע המזהה. ביטוי אטומי קבוע הוא אטומי
ביטוי עם המחרוזת "'0'" או "'1'" כמזהה.
ביטוי אופרטור מסובך יותר מביטוי אטומי. זו רשימה של
פריטים, הפריט הראשון הוא המפעיל הראשי של הביטוי והפריטים הבאים הם
הטיעונים של הביטוי. אפשר לעבור דרך הטיעונים על ידי התקשרות ל-
פונקציונלי #define CDR. אז כל ארגומנט נגיש על ידי הפונקציונלי #define אוטו.
ארגומנט יכול להיות רקורסיבית ביטוי אטומי או אופרטור. האריות של א
ביטוי אופרטור הוא מספר הארגומנטים של הרמה הראשונה.
פונקציות מחולקות לשתי קבוצות, הפונקציות ברמה נמוכה נכתבות עם #define
ומשמשים לניהול הטופס הפנימי של ABL, הפונקציות ברמה גבוהה משמשות לניהול
הביטויים הבוליאניים. כל הפונקציות מוגדרות בקובץ "prefbib.c" (#define in
"logmmm.h").
פונקציונלי #define
ATOM - בודק את סוג הביטוי (ביטוי אטומי או אופרטור).
אוטו - מחזיר את נתונים מצביע של כפולה.
CADR - מחזיר את נתונים מצביע של הבא מצביע של כפולה.
CDR - מחזיר את הבא מצביע של כפולה.
מבצע - מחזירה את מספר האופרטור של ביטוי אופרטור.
VALUE_ATOM - מחזיר את המשויך char * של ביטוי אטומי.
פונקציות ו נהלים
addHExpr - מוסיף ארגומנטים חדשים בראש ביטוי אופרטור.
addQExpr - מוסיף ארגומנטים חדשים בתור של ביטוי אופרטור.
anyExpr - מחזירה את הערך של OR לוגי שהוחל על תוצאות ה-
יישום של פונקציה על הארגומנטים של ביטוי אופרטור.
changeOperExpr - משנה את האופרטור של ראש ביטוי.
charToOper - ממירה מחרוזת אופרטור למספר אופרטור.
copyExpr - מעתיק ביטוי.
createAtom - יוצר ביטוי אטומי.
createBinExpr - יוצר ביטוי אופרטור בינארי עם מיזוג בסופו של דבר של ה
מפעיל.
createExpr - יוצר את הראש של ביטוי אופרטור.
deleteNumExpr - מסיר את הארגומנט i-th בביטוי אופרטור.
devXor2Expr - ממירה XOR 2 ל-OR-AND.
devXorExpr - מסיר XOR בביטוי.
displayExpr - מציג ביטוי בסימון עם קידומת.
displayInfExpr - מציג ביטוי בסימון מוטבע.
equalExpr - בודק ששני ביטויים שווים בהחלט.
equalVarExpr - בודק ששני ביטויים שווים מבחינה תחבירית.
everyExp - מחזירה את הערך של AND לוגי על תוצאות ה-
יישום של פונקציה על הארגומנטים של ביטוי אופרטור.
exprToChar - ממירה ביטוי למחרוזת.
charToExpr - ממירה מחרוזת לביטוי.
flatArityExpr - משטח את האופרטורים של ביטוי.
flatPolarityExpr - מתרגם את ממירי הביטוי לרמת האטומי
ביטויים.
חינםExpr - משחרר ביטוי.
identExpr - נותן מזהה מביטוי אופרטור.
אורךExp - מחזירה את מספר הארגומנטים בביטוי.
mapCarExpr - יוצר ביטוי חדש על ידי החלת פונקציה על כל הארגומנטים של
ביטוי אופרטור.
mapExpr - מחיל נוהל על כל הארגומנטים של ביטוי אופרטור.
maxExpr - מחזירה את הארגומנט הגבוה ביותר של ביטוי אופרטור.
minExpr - מחזירה את הארגומנט הנמוך ביותר של ביטוי אופרטור.
normExpr - מנרמל ביטוי.
notExpr - משלים ביטוי ובסופו של דבר עושה פישוט.
numberAtomExpr - מחזירה את מספר האטומים בביטוי.
numberOccExpr - מחזירה את מספר הפעמים שאטום מופיע בביטוי.
numberOperBinExpr - מחזירה את מספר האופרטורים הבינאריים השווים בביטוי.
operToChar - ממירה מספר אופרטור למחרוזת אופרטור.
profExpr - מחזירה את עומק הביטוי.
profAOExpr - מחזיר את עומק הביטוי מבלי להכניס את הממירים
חֶשְׁבּוֹן.
searchExpr - מחפש אטום ספציפי בביטוי.
searchNumExpr - מביא את הארגומנט i-th בביטוי אופרטור.
searchOperExpr - מחפש אופרטור בביטוי.
simplif10Expr - עושה הפשטות על ביטוי כולל אטומי קבוע
ביטויים.
simplifNotExpr - עושה הפשטות על ביטוי כולל ממירים.
sortExpr - ממיין ביטוי.
substExpr - מעתיק ביטוי על ידי החלפת אטום נתון בביטוי.
substPhyExpr - מחליף ביטוי אטומי בביטוי בתוך an
ביטוי.
supportChain_listExpr
- מחזיר תמיכה של ביטוי ב-a שרשרת_רשימת.
supportPtype_listExpr
- מחזיר תמיכה של ביטוי ב-a ptype_list.
wPMExpr - מחזירה 1 אם התאמת הדפוס אפשרית בין שניים
ביטויים.
השתמש ב-abl באינטרנט באמצעות שירותי onworks.net
