abl – Online in der Cloud

PROGRAMM:

NAME/FUNKTION

abl - Präfixdarstellung für boolesche Funktionen

BESCHREIBUNG

libablmmm.a ist eine Bibliothek, die es ermöglicht, eine boolesche Funktion in einer LISP-ähnlichen Form darzustellen.
Ein ABL ist eine vorangestellte interne Darstellung für eine boolesche Funktion mit Standard
Operatoren wie OR, NOR, NAND, XOR, NOT und AND. Ein ABL besteht nur aus Dubletts. Ein Dublett ist
bestehend aus zwei Feldern, auf die die Funktion zugreifen kann #define AUTO und CDR. Eine
Dublett wird mit einem MBK implementiert Kettenliste.
Ausdruck ist der Oberbegriff für eine boolesche Funktion, die durch eine ABL dargestellt wird. Ein Ausdruck
kann ein atomarer Ausdruck oder ein Operatorausdruck sein. Die Funktion f = a wird repräsentiert
durch einen atomaren Ausdruck, wohingegen f = (oder a b) wird durch einen Operatorausdruck dargestellt. Ein
Der atomare Ausdruck besteht aus einem einzelnen Dublett mit dem WEITER Zeiger gleich NULL und
DATEN Zeiger gleich dem Bezeichnerzeiger. Ein konstanter atomarer Ausdruck ist ein atomarer Ausdruck
Ausdruck, der als Bezeichner die Zeichenkette „‘0‘“ oder „‘1‘“ hat.
Ein Operatorausdruck ist komplizierter als ein atomarer Ausdruck. Es ist eine Liste von
Elemente, das erste Element ist der Kopfoperator des Ausdrucks und die folgenden Elemente sind es
die Argumente des Ausdrucks. Es ist möglich, die Argumente durchzugehen, indem man die aufruft
funktional #define CDR. Dann ist jedes Argument für die Funktion zugänglich #define AUTO.
Ein Argument kann rekursiv ein atomarer Ausdruck oder ein Operatorausdruck sein. Die Arität eines
Der Operatorausdruck ist die Anzahl der Argumente der ersten Ebene.
Funktionen sind in zwei Gruppen unterteilt, mit denen die Low-Level-Funktionen geschrieben werden #define
und dienen der Verwaltung des ABL-internen Formulars, die High-Level-Funktionen dienen der Verwaltung
die booleschen Ausdrücke. Alle Funktionen sind in der Datei „prefbib.c“ definiert (#define in
„logmmm.h“).

Funktional #define

ATOM - prüft die Art eines Ausdrucks (atomarer Ausdruck oder Operatorausdruck).

AUTO - gibt das zurück DATEN Zeiger eines Dubletts.

CADR - gibt das zurück DATEN Zeiger des WEITER Zeiger eines Dubletts.

CDR - gibt das zurück WEITER Zeiger eines Dubletts.

BETREIBER - gibt die Operatornummer eines Operatorausdrucks zurück.

VALUE_ATOM - gibt das zugehörige zurück verkohlen * eines atomaren Ausdrucks.

Funktionen und Verfahren

addHExpr – Fügt am Kopf eines Operatorausdrucks neue Argumente hinzu.

addQExpr – Fügt der Warteschlange eines Operatorausdrucks neue Argumente hinzu.

anyExpr - gibt den Wert eines logischen ODER zurück, das auf die Ergebnisse angewendet wird
Anwendung einer Funktion auf die Argumente eines Operatorausdrucks.

changeOperExpr - Ändert den Operator des Kopfes eines Ausdrucks.

charToOper - wandelt eine Operatorzeichenfolge in eine Operatornummer um.

copyExpr - kopiert einen Ausdruck.

createAtom - Erstellt einen atomaren Ausdruck.

createBinExpr - Erstellt einen binären Operatorausdruck mit einer eventuellen Zusammenführung der
Betreiber.

createExpr – Erstellt den Kopf eines Operatorausdrucks.

deleteNumExpr – Entfernt das i-te Argument in einem Operatorausdruck.

devXor2Expr - wandelt XOR 2 in OR-AND um.

devXorExpr - Entfernt XOR in einem Ausdruck.

displayExpr - Zeigt einen Ausdruck in einer vorangestellten Notation an.

displayInfExpr - Zeigt einen Ausdruck in Infix-Notation an.

equalExpr – prüft, ob zwei Ausdrücke absolut gleich sind.

equalVarExpr - prüft, ob zwei Ausdrücke syntaktisch gleich sind.

everyExpr - gibt den Wert eines logischen UND zurück, das auf die Ergebnisse des angewendet wird
Anwendung einer Funktion auf die Argumente eines Operatorausdrucks.

exprToChar - Konvertiert einen Ausdruck in einen String.

charToExpr - Konvertiert einen String in einen Ausdruck.

flatArityExpr – Reduziert die Operatoren eines Ausdrucks.

flatPolarityExpr - übersetzt die Inverter eines Ausdrucks auf die atomare Ebene
Ausdrücke.

freeExpr - befreit einen Ausdruck.

identExpr – Gibt einen Bezeichner aus einem Operatorausdruck zurück.

LängeExpr – gibt die Anzahl der Argumente in einem Ausdruck zurück.

mapCarExpr – Erstellt einen neuen Ausdruck, indem eine Funktion auf alle Argumente von angewendet wird
ein Operatorausdruck.

Kartenexpr – wendet eine Prozedur auf alle Argumente eines Operatorausdrucks an.

maxExpr – gibt das höchste Argument eines Operatorausdrucks zurück.

minExpr – gibt das niedrigste Argument eines Operatorausdrucks zurück.

normExpr - normalisiert einen Ausdruck.

notExpr - ergänzt einen Ausdruck und bewirkt schließlich eine Vereinfachung.

numberAtomExpr – gibt die Anzahl der Atome in einem Ausdruck zurück.

numberOccExpr – gibt die Häufigkeit zurück, mit der ein Atom in einem Ausdruck vorkommt.

numberOperBinExpr – gibt die Anzahl der äquivalenten binären Operatoren in einem Ausdruck zurück.

operToChar - wandelt eine Operatornummer in eine Operatorzeichenfolge um.

profExpr - gibt die Tiefe eines Ausdrucks zurück.

profAOExpr - gibt die Tiefe eines Ausdrucks zurück, ohne die Inverter zu berücksichtigen
Konto.

suchExpr - sucht nach einem bestimmten Atom in einem Ausdruck.

searchNumExpr – ruft das i-te Argument in einem Operatorausdruck ab.

searchOperExpr - sucht nach einem Operator in einem Ausdruck.

simplif10Expr – Vereinfacht einen Ausdruck, einschließlich konstanter Atome
Ausdrücke.

simplifNotExpr - Vereinfacht einen Ausdruck, der auch Wechselrichter einschließt.

sortExpr - sortiert einen Ausdruck.

substExpr - kopiert einen Ausdruck, indem ein bestimmtes Atom durch einen Ausdruck ersetzt wird.

substPhyExpr - ersetzt einen atomaren Ausdruck durch einen Ausdruck innerhalb eines
Ausdruck.

supportChain_listExpr
- gibt die Unterstützung eines Ausdrucks in a zurück Kettenliste.

supportPtype_listExpr
- gibt die Unterstützung eines Ausdrucks in a zurück ptype_list.

wPMExpr - gibt 1 zurück, wenn der Mustervergleich zwischen zwei möglich ist
Ausdrücke.

Nutzen Sie abl online über die Dienste von onworks.net