abl - ക്ലൗഡിൽ ഓൺലൈനിൽ

പട്ടിക:

NAME

സഹോദരി - ബൂളിയൻ ഫംഗ്‌ഷനുകൾക്കായുള്ള പ്രിഫിക്‌സ് ചെയ്‌ത പ്രാതിനിധ്യം

വിവരണം

libablmmm.a ഒരു LISP-പോലുള്ള രൂപത്തിൽ ഒരു ബൂളിയൻ ഫംഗ്‌ഷനെ പ്രതിനിധീകരിക്കാൻ പ്രാപ്‌തമാക്കുന്ന ഒരു ലൈബ്രറിയാണ്.
സ്റ്റാൻഡേർഡ് ഉള്ള ഒരു ബൂളിയൻ ഫംഗ്‌ഷന്റെ പ്രിഫിക്‌സ് ചെയ്‌ത ആന്തരിക പ്രാതിനിധ്യമാണ് ABL
ഓപ്പറേറ്റർമാർ OR,NOR,NAND,XOR,NOT കൂടാതെ AND എന്നിങ്ങനെ. ഒരു എബിഎൽ ഇരട്ടികളാൽ മാത്രം നിർമ്മിച്ചതാണ്. ഒരു ഇരട്ടിയാണ്
ഫംഗ്‌ഷണലിന് ആക്‌സസ് ചെയ്യാവുന്ന രണ്ട് ഫീൽഡുകൾ അടങ്ങിയതാണ് # നിർവചിക്കുക കാർ ഒപ്പം CDR. ഒരു
ഇരട്ടി ഒരു MBK ഉപയോഗിച്ച് നടപ്പിലാക്കുന്നു ചെയിൻ_ലിസ്റ്റ്.
ആശയം ഒരു ABL പ്രതിനിധീകരിക്കുന്ന ഒരു ബൂളിയൻ ഫംഗ്‌ഷന്റെ പൊതുവായ പദമാണ്. ഒരു പ്രയോഗം
ഒരു ആറ്റോമിക് എക്സ്പ്രഷൻ അല്ലെങ്കിൽ ഒരു ഓപ്പറേറ്റർ എക്സ്പ്രഷൻ ആകാം. ചടങ്ങ് f = a പ്രതിനിധീകരിക്കുന്നു
അതേസമയം ഒരു ആറ്റോമിക് എക്സ്പ്രഷൻ വഴി f = (അഥവാ a b) ഒരു ഓപ്പറേറ്റർ എക്സ്പ്രഷൻ പ്രതിനിധീകരിക്കുന്നു. എ
ആറ്റോമിക് എക്സ്പ്രഷൻ നിർമ്മിച്ചിരിക്കുന്നത് ഒറ്റ ഇരട്ടി കൊണ്ടാണ് അടുത്തത് NULL എന്നതിന് തുല്യമായ പോയിന്റർ ഒപ്പം
ഡാറ്റ ഐഡന്റിഫയർ പോയിന്ററിന് തുല്യമായ പോയിന്റർ. സ്ഥിരമായ ആറ്റോമിക് എക്സ്പ്രഷൻ ഒരു ആറ്റോമിക് ആണ്
ഐഡന്റിഫയറായി "'0' അല്ലെങ്കിൽ "'1'" എന്ന സ്ട്രിംഗ് ഉള്ള എക്സ്പ്രഷൻ.
ഒരു ഓപ്പറേറ്റർ എക്സ്പ്രഷൻ ഒരു ആറ്റോമിക് എക്സ്പ്രഷനേക്കാൾ സങ്കീർണ്ണമാണ്. ഇത് ഒരു പട്ടികയാണ്
ഇനങ്ങൾ, ആദ്യ ഇനം എക്സ്പ്രഷന്റെ ഹെഡ് ഓപ്പറേറ്ററാണ്, ഇനിപ്പറയുന്ന ഇനങ്ങൾ ഇവയാണ്
പദപ്രയോഗത്തിന്റെ വാദങ്ങൾ. വിളിക്കുന്നതിലൂടെ വാദപ്രതിവാദങ്ങളിലൂടെ കടന്നുപോകാൻ സാധിക്കും
പ്രവർത്തനക്ഷമമായ # നിർവചിക്കുക CDR. അപ്പോൾ ഓരോ ആർഗ്യുമെന്റും ഫങ്ഷണലിന് ആക്സസ് ചെയ്യാവുന്നതാണ് # നിർവചിക്കുക കാർ.
ഒരു ആർഗ്യുമെന്റ് ആവർത്തനപരമായി ഒരു ആറ്റോമിക് അല്ലെങ്കിൽ ഒരു ഓപ്പറേറ്റർ എക്സ്പ്രഷൻ ആകാം. ഒരു
ഓപ്പറേറ്റർ എക്സ്പ്രഷൻ എന്നത് ആദ്യ ലെവലിന്റെ ആർഗ്യുമെന്റുകളുടെ എണ്ണമാണ്.
ഫംഗ്ഷനുകളെ രണ്ട് ഗ്രൂപ്പുകളായി തിരിച്ചിരിക്കുന്നു, താഴ്ന്ന നിലയിലുള്ള ഫംഗ്ഷനുകൾ ഉപയോഗിച്ച് എഴുതിയിരിക്കുന്നു # നിർവചിക്കുക
കൂടാതെ ABL ആന്തരിക രൂപം നിയന്ത്രിക്കാൻ ഉപയോഗിക്കുന്നു, ഉയർന്ന തലത്തിലുള്ള ഫംഗ്‌ഷനുകൾ നിയന്ത്രിക്കാൻ ഉപയോഗിക്കുന്നു
ബൂളിയൻ പദപ്രയോഗങ്ങൾ. എല്ലാ പ്രവർത്തനങ്ങളും "prefbib.c" എന്ന ഫയലിൽ നിർവചിച്ചിരിക്കുന്നു (# നിർവചിക്കുക in
"logmmm.h").

പ്രവർത്തനപരം # നിർവചിക്കുക

ആറ്റം - ഒരു എക്സ്പ്രഷൻ തരം (ആറ്റോമിക് അല്ലെങ്കിൽ ഓപ്പറേറ്റർ എക്സ്പ്രഷൻ) പരിശോധിക്കുന്നു.

കാർ - തിരികെ നൽകുന്നു ഡാറ്റ ഒരു ഇരട്ടി സൂചിക.

CADR - തിരികെ നൽകുന്നു ഡാറ്റ എന്ന സൂചിക അടുത്തത് ഒരു ഇരട്ടി സൂചിക.

CDR - തിരികെ നൽകുന്നു അടുത്തത് ഒരു ഇരട്ടി സൂചിക.

ഓപ്പർ - ഒരു ഓപ്പറേറ്റർ എക്സ്പ്രെഷന്റെ ഓപ്പറേറ്റർ നമ്പർ നൽകുന്നു.

VALUE_ATOM - ബന്ധപ്പെട്ടത് തിരികെ നൽകുന്നു പ്രതീകം * ഒരു ആറ്റോമിക് എക്സ്പ്രഷൻ.

പ്രവർത്തനങ്ങൾ ഒപ്പം നടപടിക്രമങ്ങൾ

addHExpr - ഒരു ഓപ്പറേറ്റർ എക്സ്പ്രഷന്റെ തലയിൽ ഒരു പുതിയ ആർഗ്യുമെന്റുകൾ ചേർക്കുന്നു.

addQExpr - ഒരു ഓപ്പറേറ്റർ എക്സ്പ്രെഷന്റെ ക്യൂവിൽ ഒരു പുതിയ ആർഗ്യുമെന്റുകൾ ചേർക്കുന്നു.

anyExpr - ഫലങ്ങളിൽ പ്രയോഗിച്ച ഒരു ലോജിക്കൽ അല്ലെങ്കിൽ മൂല്യം നൽകുന്നു
ഒരു ഓപ്പറേറ്റർ എക്സ്പ്രഷന്റെ ആർഗ്യുമെന്റുകളിൽ ഒരു ഫംഗ്ഷന്റെ പ്രയോഗം.

മാറ്റുകOperExpr - ഒരു പദപ്രയോഗത്തിന്റെ തലയുടെ ഓപ്പറേറ്ററെ മാറ്റുന്നു.

charToOper - ഒരു ഓപ്പറേറ്റർ സ്ട്രിംഗ് ഒരു ഓപ്പറേറ്റർ നമ്പറാക്കി മാറ്റുന്നു.

copyExpr - ഒരു പദപ്രയോഗം പകർത്തുന്നു.

ആറ്റം സൃഷ്ടിക്കുക - ഒരു ആറ്റോമിക് എക്സ്പ്രഷൻ സൃഷ്ടിക്കുന്നു.

createBinExpr - യുടെ അന്തിമ ലയനത്തോടെ ഒരു ബൈനറി ഓപ്പറേറ്റർ എക്സ്പ്രഷൻ സൃഷ്ടിക്കുന്നു
ഓപ്പറേറ്റർ.

createExpr - ഒരു ഓപ്പറേറ്റർ എക്സ്പ്രെഷന്റെ തല സൃഷ്ടിക്കുന്നു.

deleteNumExpr - ഒരു ഓപ്പറേറ്റർ എക്സ്പ്രഷനിലെ i-th ആർഗ്യുമെന്റ് നീക്കം ചെയ്യുന്നു.

devXor2Expr - XOR 2-നെ OR-AND ആയി പരിവർത്തനം ചെയ്യുന്നു.

devXorExpr - ഒരു എക്സ്പ്രഷനിൽ XOR നീക്കം ചെയ്യുന്നു.

displayExpr - ഒരു പ്രിഫിക്സഡ് നൊട്ടേഷനിൽ ഒരു എക്സ്പ്രഷൻ പ്രദർശിപ്പിക്കുന്നു.

ഡിസ്പ്ലേInfExpr - ഇൻഫിക്സഡ് നൊട്ടേഷനിൽ ഒരു എക്സ്പ്രഷൻ പ്രദർശിപ്പിക്കുന്നു.

equalExpr - രണ്ട് പദപ്രയോഗങ്ങൾ കർശനമായി തുല്യമാണോ എന്ന് പരിശോധിക്കുന്നു.

equalVarExpr - രണ്ട് പദപ്രയോഗങ്ങൾ വാക്യഘടനയിൽ തുല്യമാണോയെന്ന് പരിശോധിക്കുന്നു.

ഓരോ എക്സ്പ്ര - ഫലങ്ങളിൽ പ്രയോഗിച്ച ഒരു ലോജിക്കൽ മൂല്യം നൽകുന്നു
ഒരു ഓപ്പറേറ്റർ എക്സ്പ്രഷന്റെ ആർഗ്യുമെന്റുകളിൽ ഒരു ഫംഗ്ഷന്റെ പ്രയോഗം.

exprToChar - ഒരു എക്സ്പ്രഷൻ ഒരു സ്ട്രിംഗ് ആക്കി മാറ്റുന്നു.

charToExpr - ഒരു സ്ട്രിംഗ് ഒരു എക്സ്പ്രഷനാക്കി മാറ്റുന്നു.

flatArityExpr - ഒരു എക്സ്പ്രഷന്റെ ഓപ്പറേറ്റർമാരെ പരത്തുന്നു.

ഫ്ലാറ്റ്പോളാരിറ്റി എക്സ്പ്രർ - ഒരു പദപ്രയോഗത്തിന്റെ ഇൻവെർട്ടറുകൾ ആറ്റോമിക് തലത്തിലേക്ക് വിവർത്തനം ചെയ്യുന്നു
ഭാവങ്ങൾ.

freeExpr - ഒരു എക്സ്പ്രഷൻ സ്വതന്ത്രമാക്കുന്നു.

identExpr - ഒരു ഓപ്പറേറ്റർ എക്സ്പ്രഷനിൽ നിന്ന് ഒരു ഐഡന്റിഫയർ നൽകുന്നു.

lengthExpr - ഒരു എക്സ്പ്രഷനിലെ ആർഗ്യുമെന്റുകളുടെ എണ്ണം നൽകുന്നു.

mapCarExpr - യുടെ എല്ലാ ആർഗ്യുമെന്റുകൾക്കും ഒരു ഫംഗ്ഷൻ പ്രയോഗിച്ച് ഒരു പുതിയ എക്സ്പ്രഷൻ സൃഷ്ടിക്കുന്നു
ഒരു ഓപ്പറേറ്റർ എക്സ്പ്രഷൻ.

mapExpr - ഒരു ഓപ്പറേറ്റർ എക്സ്പ്രഷന്റെ എല്ലാ ആർഗ്യുമെന്റുകൾക്കും ഒരു നടപടിക്രമം പ്രയോഗിക്കുന്നു.

maxExpr - ഒരു ഓപ്പറേറ്റർ എക്സ്പ്രഷനിലെ ഏറ്റവും ഉയർന്ന ആർഗ്യുമെന്റ് നൽകുന്നു.

minExpr - ഒരു ഓപ്പറേറ്റർ എക്സ്പ്രഷനിലെ ഏറ്റവും താഴ്ന്ന ആർഗ്യുമെന്റ് നൽകുന്നു.

normExpr - ഒരു എക്സ്പ്രഷൻ നോർമലൈസ് ചെയ്യുന്നു.

notExpr - ഒരു പദപ്രയോഗം പൂർത്തീകരിക്കുകയും ഒടുവിൽ ഒരു ലളിതമാക്കുകയും ചെയ്യുന്നു.

നമ്പർAtomExpr - ഒരു എക്സ്പ്രഷനിലെ ആറ്റങ്ങളുടെ എണ്ണം നൽകുന്നു.

നമ്പർOccExpr - ഒരു പദപ്രയോഗത്തിൽ ഒരു ആറ്റം ദൃശ്യമാകുന്ന സമയത്തിന്റെ എണ്ണം നൽകുന്നു.

നമ്പർOperBinExpr - ഒരു എക്സ്പ്രഷനിൽ തുല്യമായ ബൈനറി ഓപ്പറേറ്റർമാരുടെ എണ്ണം നൽകുന്നു.

operToChar - ഒരു ഓപ്പറേറ്റർ നമ്പറിനെ ഒരു ഓപ്പറേറ്റർ സ്ട്രിംഗാക്കി മാറ്റുന്നു.

profExpr - ഒരു പദപ്രയോഗത്തിന്റെ ആഴം നൽകുന്നു.

profAOExpr - ഇൻവെർട്ടറുകൾ എടുക്കാതെ തന്നെ ഒരു പദപ്രയോഗത്തിന്റെ ആഴം നൽകുന്നു
അക്കൗണ്ട്.

searchExpr - ഒരു പദപ്രയോഗത്തിൽ ഒരു നിർദ്ദിഷ്ട ആറ്റത്തിനായി തിരയുന്നു.

searchNumExpr - ഒരു ഓപ്പറേറ്റർ എക്സ്പ്രഷനിൽ i-th ആർഗ്യുമെന്റ് ലഭ്യമാക്കുന്നു.

searchOperExpr - ഒരു എക്സ്പ്രഷനിൽ ഒരു ഓപ്പറേറ്ററെ തിരയുന്നു.

simplif10Expr - സ്ഥിരമായ ആറ്റോമിക് ഉൾപ്പെടെ ഒരു പദപ്രയോഗത്തിൽ ലളിതമാക്കുന്നു
ഭാവങ്ങൾ.

simplifNotExpr - ഇൻവെർട്ടറുകൾ ഉൾപ്പെടെ ഒരു പദപ്രയോഗത്തിൽ ലളിതമാക്കുന്നു.

sortExpr - ഒരു പദപ്രയോഗം അടുക്കുന്നു.

substExpr - തന്നിരിക്കുന്ന ആറ്റത്തെ ഒരു എക്സ്പ്രഷൻ ഉപയോഗിച്ച് മാറ്റിസ്ഥാപിച്ചുകൊണ്ട് ഒരു പദപ്രയോഗം പകർത്തുന്നു.

substPhyExpr - ഒരു ആറ്റോമിക് എക്‌സ്‌പ്രഷനു പകരം ഒരു പദപ്രയോഗം
എക്സ്പ്രഷൻ.

supportChain_listExpr
- a-യിലെ ഒരു പദപ്രയോഗത്തിന്റെ പിന്തുണ നൽകുന്നു ചെയിൻ_ലിസ്റ്റ്.

supportPtype_listExpr
- a-യിലെ ഒരു പദപ്രയോഗത്തിന്റെ പിന്തുണ നൽകുന്നു ptype_list.

wPMExpr - രണ്ടിനുമിടയിൽ പാറ്റേൺ പൊരുത്തപ്പെടുത്തൽ സാധ്യമാണെങ്കിൽ 1 നൽകുന്നു
ഭാവങ്ങൾ.

onworks.net സേവനങ്ങൾ ഉപയോഗിച്ച് abl ഓൺലൈനായി ഉപയോഗിക്കുക