EnglezăFrancezăSpaniolă

Favicon OnWorks

abl - Online în cloud

Rulați abl în furnizorul de găzduire gratuit OnWorks prin Ubuntu Online, Fedora Online, emulator online Windows sau emulator online MAC OS

Aceasta este comanda abl care poate fi rulată în furnizorul de găzduire gratuit OnWorks folosind una dintre multiplele noastre stații de lucru online gratuite, cum ar fi Ubuntu Online, Fedora Online, emulator online Windows sau emulator online MAC OS

PROGRAM:

NUME


sora - Reprezentare prefixată pentru funcțiile booleene

DESCRIERE


libablmmm.a este o bibliotecă care permite reprezentarea unei funcții booleene într-o formă asemănătoare LISP.
Un ABL este o reprezentare internă prefixată pentru o funcție booleană având standard
operatori ca OR,NOR,NAND,XOR,NOT și AND. Un ABL este format doar din dublete. Un dublu este
compus din două câmpuri care sunt accesibile de către funcțional #defini CAR si CDR. O
dubletul este implementat cu un MBK listă_lanț.
Expresie este termenul generic pentru o funcție booleană reprezentată de un ABL. O expresie
poate fi o expresie atomică sau o expresie operator. Functia f = a este reprezentat
printr-o expresie atomică în timp ce f = (Sau a b) este reprezentată printr-o expresie de operator. Un
expresia atomică este alcătuită dintr-un singur dublet având NEXT pointer egal cu NULL și
DATE pointer egal cu indicatorul de identificare. O expresie atomică constantă este un atom
expresie având șirul „’0’” sau „‘1’” ca identificator.
O expresie de operator este mai complicată decât o expresie atomică. Este o listă de
itemi, primul item este operatorul de cap al expresiei și următorii itemi sunt
argumentele expresiei. Este posibil să parcurgeți argumentele apelând la
funcţional #defini CDR. Apoi fiecare argument este accesibil de către funcțional #defini CAR.
Un argument poate fi recursiv o expresie atomică sau operator. Aritatea unui
expresia operatorului este numărul de argumente de la primul nivel.
Funcțiile sunt împărțite în două grupuri, cu funcțiile de nivel scăzut sunt scrise #defini
și sunt folosite pentru a gestiona formularul intern ABL, funcțiile de nivel înalt sunt folosite pentru a gestiona
expresiile booleene. Toate funcțiile sunt definite în fișierul „prefbib.c” (#defini in
„logmmm.h”).

Funcțional #defini

ATOM - verifică tipul unei expresii (expresie atomică sau operator).

CAR - returnează DATE arătătorul unui dublet.

CADR - returnează DATE indicatorul NEXT arătătorul unui dublet.

CDR - returnează NEXT arătătorul unui dublet.

OPER - returnează numărul operatorului unei expresii operator.

VALUE_ATOM - returnează asociatul car de război * a unei expresii atomice.

funcţii si Proceduri

adaugăHExpr - adaugă noi argumente în fruntea expresiei de operator.

addQExpr - adaugă noi argumente la coada unei expresii operator.

oriceExpr - returnează valoarea unui SAU logic aplicat rezultatelor
aplicarea unei funcţii pe argumentele unei expresii operator.

changeOperExpr - modifică operatorul capului unei expresii.

charToOper - convertește un șir de operator într-un număr de operator.

copieExpr - copiază o expresie.

createAtom - creează o expresie atomică.

createBinExpr - creează o expresie de operator binar cu o eventuală fuziune a
operator.

createExpr - creează capul unei expresii de operator.

deleteNumExpr - elimină al-lea argument dintr-o expresie de operator.

devXor2Expr - transformă XOR 2 în OR-AND.

devXorExpr - elimină XOR într-o expresie.

displayExpr - afișează o expresie într-o notație prefixată.

displayInfExpr - afișează o expresie în notație infixată.

egalExpr - verifică dacă două expresii sunt strict egale.

equalVarExpr - verifică dacă două expresii sunt egale sintactic.

fiecareExpr - returnează valoarea unui AND logic aplicat rezultatelor
aplicarea unei funcţii pe argumentele unei expresii operator.

exprToChar - convertește o expresie într-un șir.

charToExpr - transformă un șir într-o expresie.

platArityExpr - aplatizează operatorii unei expresii.

platPolarityExpr - traduce invertoarele unei expresii la nivel de atomic
expresii.

gratuitExpr - eliberează o expresie.

identExpr - oferă un identificator dintr-o expresie de operator.

lungimeExpr - returnează numărul de argumente dintr-o expresie.

mapCarExpr - creează o nouă expresie prin aplicarea unei funcții tuturor argumentelor lui
o expresie de operator.

mapExpr - aplică o procedură tuturor argumentelor unei expresii operator.

maxExpr - returnează cel mai înalt argument al expresiei unui operator.

minExpr - returnează cel mai mic argument al expresiei unui operator.

normExpr - normalizează o expresie.

nuExpr - completează o expresie și eventual face o simplificare.

numărAtomExpr - returnează numărul de atomi dintr-o expresie.

numărOccExpr - returnează numărul de când un atom apare într-o expresie.

numberOperBinExpr - returnează numărul de operatori binari echivalenți dintr-o expresie.

operaToChar - convertește un număr de operator într-un șir de operator.

profExpr - returnează profunzimea unei expresii.

profAOExpr - returnează adâncimea unei expresii fără a lua invertoarele
cont.

căutareExpr - caută un anumit atom într-o expresie.

searchNumExpr - preia al-lea argument dintr-o expresie de operator.

searchOperExpr - caută un operator într-o expresie.

simplif10Expr - face simplificări pe o expresie inclusiv constantă atomică
expresii.

simplifNotExpr - face simplificări pe o expresie inclusiv invertoare.

sortExpr - sortează o expresie.

substExpr - copiază o expresie prin înlocuirea unui atom dat cu o expresie.

substPhyExpr - înlocuiește o expresie atomică cu o expresie din an
expresie.

supportChain_listExpr
- returnează suportul unei expresii în a listă_lanț.

suportPtype_listExpr
- returnează suportul unei expresii în a ptype_list.

wPMExpr - returnează 1 dacă potrivirea modelului este posibilă între două
expresii.

Utilizați abl online folosind serviciile onworks.net


Servere și stații de lucru gratuite

Descărcați aplicații Windows și Linux

  • 1
    Manager PAC
    Manager PAC
    PAC este un înlocuitor Perl/GTK pentru
    SecureCRT/Putty/etc (linux
    ssh/telnet/... gui)... Oferă un GUI
    pentru a configura conexiuni: utilizatori,
    parole, Așteptați regula...
    Descărcați PAC Manager
  • 2
    GeoServer
    GeoServer
    GeoServer este un software open-source
    server scris în Java care permite utilizatorilor
    pentru a partaja și edita date geospațiale.
    Proiectat pentru interoperabilitate, it
    publică da...
    Descărcați GeoServer
  • 3
    Licurici III
    Licurici III
    O finanțare personală gratuită și open-source
    administrator. Firefly III prezintă a
    sistem de contabilitate cu partidă dublă. Poti
    intrați rapid și organizați-vă
    tranzacții i ...
    Descărcați Firefly III
  • 4
    Extensii Apache OpenOffice
    Extensii Apache OpenOffice
    Catalogul oficial Apache
    Extensii OpenOffice. Vei găsi
    extensii variind de la dicționare la
    instrumente pentru a importa fișiere PDF și pentru a vă conecta
    cu ext...
    Descărcați Apache OpenOffice Extensions
  • 5
    MantisBT
    MantisBT
    Mantis este un web ușor de implementat
    Bugtracker bazat pentru a ajuta bug-ul produsului
    urmărire. Necesită PHP, MySQL și a
    server web. Verificați demonstrația noastră și găzduită
    oferind...
    Descărcați MantisBT
  • 6
    LAN Messenger
    LAN Messenger
    LAN Messenger este o aplicație de chat p2p
    pentru comunicare intranet și nu
    necesită un server. O varietate de la îndemână
    caracteristicile sunt acceptate, inclusiv
    notificat ...
    Descărcați LAN Messenger
  • Mai mult »

Comenzi Linux

  • 1
    abidw
    abidw
    abidw - serializați ABI-ul unui ELF
    fișierul abidw citește o bibliotecă partajată în ELF
    format și emite o reprezentare XML
    a ABI-ului său la ieșirea standard. The
    emis...
    Run abidw
  • 2
    abilint
    abilint
    abilint - validează un ABI abigail
    reprezentare abilint parsează nativul
    Reprezentarea XML a unui ABI așa cum este emis
    de abidw. Odată ce a analizat XML-ul
    represe ...
    Rulați abilint
  • 3
    coresendmsg
    coresendmsg
    coresendmsg - trimite un mesaj CORE API
    la demonul core-daemon...
    Rulați coresendmsg
  • 4
    core_server
    core_server
    core_server - Serverul principal pentru
    SpamBayes. DESCRIERE: În prezent servește
    numai interfața web. Conectare
    ascultători pentru diferite protocoale este de stabilit.
    Acest ...
    Rulați core_server
  • 5
    fwflash
    fwflash
    fwflash - program pentru a flash fișiere imagine
    la un dispozitiv NXT conectat...
    Rulați fwflash
  • 6
    fwts-strânge
    fwts-strânge
    fwts-collect - colectează jurnalele pentru fwts
    raportarea erorilor. ...
    Rulați fwts-collect
  • Mai mult »

Ad