abl - Online in de cloud

PROGRAMMA:

NAAM

abl - Vooraf ingestelde weergave voor Booleaanse functies

PRODUCTBESCHRIJVING

libablmmm.a is een bibliotheek die het mogelijk maakt een Booleaanse functie in een LISP-achtige vorm weer te geven.
Een ABL is een vooraf ingestelde interne representatie voor een Booleaanse functie met standaard
operatoren als OR,NOR,NAND,XOR,NOT en AND. Een ABL bestaat alleen uit doubletten. Een doublet wel
samengesteld uit twee velden die toegankelijk zijn voor de functionaris #define AUTO en CDR. Een
doublet wordt geïmplementeerd met een MBK ketting_lijst.
Uitdrukking is de algemene term voor een Booleaanse functie die wordt weergegeven door een ABL. Een uitdrukking
kan een atomaire expressie of een operatorexpressie zijn. De functie f = a is vertegenwoordigd
door een atomaire uitdrukking terwijl f = (of a b) wordt weergegeven door een operatorexpressie. Een
atomaire expressie bestaat uit een enkel doublet met de VOLGENDE aanwijzer gelijk aan NULL en
GEGEVENS aanwijzer gelijk aan de identificatieaanwijzer. Een constante atomaire uitdrukking is een atomaire
expressie met de tekenreeks "'0'" of "'1'" als identificatie.
Een operatoruitdrukking is ingewikkelder dan een atomaire uitdrukking. Het is een lijst van
items, het eerste item is de hoofdoperator van de expressie en de volgende items zijn dat wel
de argumenten van de uitdrukking. Het is mogelijk om de argumenten te bespreken door de
functioneel #define CDR. Vervolgens is elk argument toegankelijk voor de functionele #define AUTO.
Een argument kan recursief een atomaire expressie of een operatorexpressie zijn. De ariteit van een
operator-expressie is het aantal argumenten van het eerste niveau.
Functies zijn verdeeld in twee groepen, waarmee de functies op laag niveau worden geschreven #define
en worden gebruikt om het interne ABL-formulier te beheren, de functies op hoog niveau worden gebruikt om te beheren
de Booleaanse expressies. Alle functies zijn gedefinieerd in het bestand "prefbib.c" (#define in
"logmmm.h").

Functioneel #define

ATOM - controleert het soort expressie (atoom- of operator-expressie).

AUTO - retourneert de GEGEVENS wijzer van een doublet.

CADR - retourneert de GEGEVENS wijzer van de VOLGENDE wijzer van een doublet.

CDR - retourneert de VOLGENDE wijzer van een doublet.

OPER - retourneert het operatornummer van een operatoruitdrukking.

VALUE_ATOM - retourneert het bijbehorende verkolen * van een atomaire uitdrukking.

Functies en procedures

toevoegenHExpr - voegt nieuwe argumenten toe aan het hoofd van een operatorexpressie.

toevoegenQExpr - voegt nieuwe argumenten toe aan de wachtrij van een operatorexpressie.

elkeUitdr - retourneert de waarde van een logische OR toegepast op de resultaten van de
toepassing van een functie op de argumenten van een operatorexpressie.

veranderingOperExpr - verandert de operator van de kop van een expressie.

charToOper - converteert een operatorstring naar een operatornummer.

kopieExpr - kopieert een uitdrukking.

creëerAtom - creëert een atomaire expressie.

maakBinExpr - creëert een binaire operatorexpressie met een eventuele samenvoeging van de
operator.

creërenExpr - creëert het hoofd van een operatorexpressie.

verwijderNumUitdr - verwijdert het i-de argument in een operatorexpressie.

devXor2Expr - converteert XOR 2 naar OR-AND.

devXorExpr - verwijdert XOR in een expressie.

weergaveUitdr - geeft een uitdrukking weer in een vooraf ingestelde notatie.

weergaveInfExpr - geeft een uitdrukking weer in tussenliggende notatie.

gelijkUitdr - controleert of twee uitdrukkingen strikt gelijk zijn.

gelijkVarExpr - controleert of twee expressies syntactisch gelijk zijn.

elkeUitdr - retourneert de waarde van een logische EN toegepast op de resultaten van de
toepassing van een functie op de argumenten van een operatorexpressie.

exprToChar - converteert een uitdrukking naar een string.

charToExpr - converteert een string naar een expressie.

flatArityExpr - maakt de operatoren van een uitdrukking plat.

vlakPolariteitUitdr - vertaalt de inverters van een uitdrukking naar het atomaire niveau
uitdrukkingen.

gratisExpr - maakt een uitdrukking vrij.

identiExpr - geeft een identificatie van een operatoruitdrukking.

lengteUitdr - retourneert het aantal argumenten in een expressie.

kaartCarExpr - creëert een nieuwe uitdrukking door een functie toe te passen op alle argumenten van
een operatorexpressie.

kaartExpr - past een procedure toe op alle argumenten van een operatorexpressie.

maxExpr - retourneert het hoogste argument van een operatorexpressie.

minUitdr - retourneert het laagste argument van een operatorexpressie.

normExpr - normaliseert een uitdrukking.

nietExpr - vult een uitdrukking aan en zorgt uiteindelijk voor een vereenvoudiging.

nummerAtomExpr - retourneert het aantal atomen in een uitdrukking.

aantalOccExpr - retourneert het aantal keren dat een atoom in een uitdrukking voorkomt.

nummerOperBinExpr - retourneert het aantal equivalente binaire operatoren in een expressie.

operToChar - converteert een operatornummer naar een operatorstring.

profExpr - retourneert de diepte van een uitdrukking.

profAOExpr - retourneert de diepte van een uitdrukking zonder rekening te houden met de inverters
account.

zoekenExpr - zoekt naar een specifiek atoom in een uitdrukking.

zoekNumUitdr - haalt het i-de argument op in een operatorexpressie.

zoekenOperExpr - zoekt naar een operator in een uitdrukking.

simplif10Uitdr - maakt vereenvoudigingen op een uitdrukking inclusief constant atomair
uitdrukkingen.

simplifNotExpr - maakt vereenvoudigingen op een uitdrukking inclusief inverters.

sorteerUitdr - sorteert een uitdrukking.

substExpr - kopieert een uitdrukking door een bepaald atoom te vervangen door een uitdrukking.

substPhyExpr - vervangt een atomaire uitdrukking door een uitdrukking binnen een
expressie.

ondersteuningChain_listExpr
- retourneert de ondersteuning van een uitdrukking in a ketting_lijst.

ondersteuningPtype_listExpr
- retourneert de ondersteuning van een uitdrukking in a ptype_lijst.

wPMExpr - retourneert 1 als patroonmatching tussen twee mogelijk is
uitdrukkingen.

Gebruik abl online met behulp van onworks.net-services