abl - En ligne dans le Cloud

PROGRAMME:

Nom

abl - Représentation préfixée pour les fonctions booléennes

DESCRIPTION

libablmmm.a est une bibliothèque qui permet de représenter une fonction booléenne sous une forme de type LISP.
Un ABL est une représentation interne préfixée pour une fonction booléenne ayant la norme
opérateurs comme OR,NOR,NAND,XOR,NOT et AND. Un ABL n'est composé que de doublets. Un doublet est
composé de deux champs accessibles par le fonctionnel #define SERVICE et CDR. A
doublet est implémenté avec un MBK liste_chaîne.
Expression est le terme générique pour une fonction booléenne représentée par un ABL. Une expression
peut être une expression atomique ou une expression d'opérateur. La fonction f = a est représenté
par une expression atomique alors que f = (ou a b) est représenté par une expression d'opérateur. Un
l'expression atomique est constituée d'un doublet unique ayant le PROCHAIN pointeur égal à NULL et
DONNEES pointeur égal au pointeur identifiant. Une expression atomique constante est une expression atomique
expression ayant la chaîne "'0'" ou "'1'" comme identifiant.
Une expression d'opérateur est plus compliquée qu'une expression atomique. C'est une liste de
éléments, le premier élément est l'opérateur principal de l'expression et les éléments suivants sont
les arguments de l'expression. Il est possible de passer en revue les arguments en appelant le
fonctionnel #define CDR. Ensuite chaque argument est accessible par le fonctionnel #define SERVICE.
Un argument peut être récursivement une expression atomique ou d'opérateur. L'arité d'un
expression de l'opérateur est le nombre d'arguments du premier niveau.
Les fonctions sont divisées en deux groupes, les fonctions de bas niveau sont écrites avec #define
et sont utilisées pour gérer le formulaire interne ABL, les fonctions de haut niveau sont utilisées pour gérer
les expressions booléennes. Toutes les fonctions sont définies dans le fichier "prefbib.c" (#define in
"logmmm.h").

Fonctionnel #define

ATOM - vérifie le type d'une expression (expression atomique ou opérateur).

SERVICE - renvoie le DONNEES pointeur d'un doublet.

CADR - renvoie le DONNEES pointeur de la PROCHAIN pointeur d'un doublet.

CDR - renvoie le PROCHAIN pointeur d'un doublet.

OPÉRER - renvoie le numéro d'opérateur d'une expression d'opérateur.

VALUE_ATOM - renvoie les associés carboniser * d'une expression atomique.

Les fonctions et procédures

ajouterHExpr - ajoute un nouvel argument en tête d'une expression d'opérateur.

ajouterQExpr - ajoute de nouveaux arguments à la file d'attente d'une expression d'opérateur.

touteExpr - renvoie la valeur d'un OU logique appliqué sur les résultats du
application d'une fonction sur les arguments d'une expression d'opérateur.

changeOperExpr - change l'opérateur de la tête d'une expression.

charVersOper - convertit une chaîne d'opérateur en un numéro d'opérateur.

copieExpr - copie une expression.

créerAtom - crée une expression atomique.

créerBinExpr - crée une expression d'opérateur binaire avec une fusion éventuelle du
opérateur.

créerExpr - crée la tête d'une expression d'opérateur.

supprimerExprNum - supprime le ième argument dans une expression d'opérateur.

devXor2Expr - convertit XOR 2 en OR-AND.

devXorExpr - supprime XOR dans une expression.

displayExpr - affiche une expression dans une notation préfixée.

displayInfExpr - affiche une expression en notation infixée.

égalExpr - vérifie que deux expressions sont strictement égales.

égalVarExpr - vérifie que deux expressions sont syntaxiquement égales.

chaqueExpr - renvoie la valeur d'un ET logique appliqué sur les résultats du
application d'une fonction sur les arguments d'une expression d'opérateur.

exprVersCar - convertit une expression en chaîne.

charVersExpr - convertit une chaîne en une expression.

flatArityExpr - aplatit les opérateurs d'une expression.

flatPolarityExpr - traduit les inverseurs d'une expression au niveau atomique
expressions.

exprlibre - libère une expression.

identExpr - donne un identifiant à partir d'une expression d'opérateur.

longueurExpr - renvoie le nombre d'arguments dans une expression.

mapCarExpr - crée une nouvelle expression en appliquant une fonction à tous les arguments de
une expression d'opérateur.

mapExpr - applique une procédure à tous les arguments d'une expression d'opérateur.

maxExpr - renvoie l'argument le plus élevé d'une expression d'opérateur.

Exprmin - renvoie l'argument le plus bas d'une expression d'opérateur.

normeExpr - normalise une expression.

notExpr - complète une expression et fait éventuellement une simplification.

nombreAtomExpr - renvoie le nombre d'atomes dans une expression.

nombreOccExpr - renvoie le nombre de fois où un atome apparaît dans une expression.

nombreOperBinExpr - renvoie le nombre d'opérateurs binaires équivalents dans une expression.

operVersChar - convertit un numéro d'opérateur en une chaîne d'opérateur.

profExpr - renvoie la profondeur d'une expression.

profAOExpr - renvoie la profondeur d'une expression sans prendre en compte les inverseurs
compte.

rechercheExpr - recherche un atome spécifique dans une expression.

rechercheNumExpr - récupère le i-ième argument dans une expression d'opérateur.

rechercheOperExpr - recherche un opérateur dans une expression.

simplif10Expr - fait des simplifications sur une expression incluant une constante atomique
expressions.

simplifNotExpr - fait des simplifications sur une expression incluant des inverseurs.

sortExpr - trie une expression.

sous-expression - copie une expression en substituant un atome donné par une expression.

substPhyExpr - substitue une expression atomique par une expression dans un
expression.

supportChain_listExpr
- renvoie le support d'une expression dans un liste_chaîne.

supportPtype_listExpr
- renvoie le support d'une expression dans un liste_ptypes.

wPMExpr - renvoie 1 si le pattern matching est possible entre deux
expressions.

Utiliser abl en ligne en utilisant les services onworks.net