Il s'agit de la commande bdd qui peut être exécutée dans le fournisseur d'hébergement gratuit OnWorks en utilisant l'un de nos multiples postes de travail en ligne gratuits tels que Ubuntu Online, Fedora Online, l'émulateur en ligne Windows ou l'émulateur en ligne MAC OS
PROGRAMME:
Nom
bdd - Plusieurs diagrammes de décision binaires ordonnés réduits
DESCRIPTION
bdd est une bibliothèque qui permet de représenter une expression booléenne comme un Multi réduit ordonné
Diagrammes de décision binaire.
voirbddallocinfo - affiche les informations de la mémoire.
appliquerbddnodenot - complète un bdd.
appliquerbddnodeterm - applique un opérateur sur deux bdd nœuds.
appliquerbddnode - applique un opérateur sur deux bdd nœuds.
appliquerbddnodeite - calcule l'opération logique IF-THEN-ELSE.
appliquerbddnodelist - applique un opérateur à un bdd liste des nœuds.
ajouterbddassoc - crée une nouvelle association de variables.
addbddnodeassoc - ajoute un bdd nœud dans une association de variables.
delbddassoc - supprime une association de variable.
delbddnodeassoc - supprime un bdd nœud dans une association de variables.
détruirebddassoc - libère toutes les associations de variables.
vuebddassoc - affiche les associations de variables.
checkbddvar - vérifie la cohérence d'une variable.
vérifierbddindex - vérifie la cohérence d'un bdd indice.
checkbddoper - vérifie la cohérence d'un opérateur.
checkbddassoc - vérifie une association de variable.
checkbddmaxnode - vérifie si le nœud max atteint.
créer un circuit - crée un bdd circuit.
réinitialiserbddcircuit - réinitialise un bdd circuit.
détruire le circuit - libère un bdd circuit.
recherchebddcircuitin - recherche une entrée spécifiée dans un circuit.
ajouterbddcircuitin - ajoute une nouvelle entrée dans un circuit.
ajouterbddcircuitaux - ajoute une variable auxiliaire dans un circuit.
recherchebddcircuitout - recherche une sortie spécifiée dans un circuit.
ajouterbddcircuitout - ajoute une nouvelle sortie dans un circuit.
delbddcircuitout - supprime une sortie spécifiée dans un circuit.
ajouterbddcircuitabl - convertit un abl à bdd nœud.
convertirbddcircuitabl
- convertit un bdd nœud à un abl.
convertirbddcircuitsumabl
- convertit un bdd nœud à un abl.
vuebddcircuit - affiche un bdd circuit.
cofacteurbddnode - calcule le cofacteur généralisé.
restreindrebddnode - remplace une variable par zéro ou un.
composerbddnode - remplace une variable par un bdd nœud.
convertirbddindexabl - convertit un bdd index à un atomique abl.
convertirbddmuxabl - convertit un bdd nœud à un multiplexeur.
convertirbddnodeabl - convertit un bdd nœud à un abl.
convertirbddnodesumabl
- convertit un bdd nœud à un abl.
existerbddnodeassocon - calcule une quantification existentielle.
existebddnodeassocoff
- calcule une quantification existentielle.
système poubellebdd - force un bdd collecte des ordures.
Implybddnode - calcule un bdd cela implique une conjonction.
intersectionbddnoeud - tests pour une intersection.
marquebddnode - marque un bdd nœud.
démarquerbddnode - efface un marqué bdd nœud.
getbddnodenum - obtient le nombre de nœuds dans un bdd.
getbddnodesize - obtient le nombre de nœuds dans un bdd.
ajouterbddnode - ajoute un nouveau bdd nœud.
addbddnodelist - ajoute un nœud dans un liste_chaîne.
noeud delbdd - supprime un bdd nœud.
delbddnodelist - supprime une liste de bdd nœuds.
voirbddnode - affiche un bdd nœud.
incbddrefext - incrémente le numéro de référence externe.
incbddrefint - incrémente le numéro de référence interne.
décbddrefext - décrémente le nombre de référence externe.
décbddrefint - décrémente le nombre de référence interne.
setbddrefext - définit un nœud visible de l'extérieur.
désinstallerbddrefext - définit un nœud invisible de l'extérieur.
clearbddsystemrefint
- efface toutes les références internes.
clearbddsystemretext
- efface toutes les références externes.
clearbddsystemref - efface toutes les références.
relprodbddnodeassoc - calcule un produit de relation.
réorganiserbddsystemsimple
- réorganise le bdd nœuds.
réorganiserbddsystemwindow
- réorganise le bdd nœuds.
réorganiserbddsystemtop - réorganise le bdd nœuds.
réorganiserbddsystèmedynamique
- définit les paramètres de réorganisation dynamique.
satisfairebddnode - trouve un chemin satisfaisant pour un bdd.
simpbddnodedcon - simplifie un bdd avec ne s'en soucie pas sur son plateau.
simpbddnodedcoff - simplifie un bdd avec ne s'en soucie pas sur son décalage
substbddnodeassoc - remplace les variables par bdd nœuds.
obtenirbddnodesupport - apporte le soutien d'un bdd nœud.
isbddvarinsupport - vérifie si une variable apparaît dans un bdd nœud.
créerbddsystem - crée un bdd système.
réinitialiserbddsystem - réinitialise un bdd système.
détruirebddsystem - libère un bdd système.
système viewbdd - affiche un bdd système.
voirbddsysteminfo - affiche des informations statistiques.
testbddcircuit - débogue un bdd circuit.
addbddvar - crée une nouvelle variable.
ajouterbddvarlast - crée une nouvelle variable.
ajouterbddvarfirst - crée une nouvelle variable.
ajouterbddvaravant - crée une nouvelle variable.
ajouterbddvaraprès - crée une nouvelle variable.
balayagebddvar - balaye tous les nœuds inutilisés pour une variable.
swapbddvar - échange deux variables contiguës.
getbddvarbyindex - convertit bdd index à un nombre variable.
obtenirbddvarindex - convertit un nombre variable en un bdd indice.
obtenirbddvarnode - donne le bdd nœud d'une variable.
getbddvarnodebyindex
- donne le bdd nœud d'une variable.
addbddvarauxsimple - crée une variable auxiliaire.
addbddvarauxglobal - crée une variable auxiliaire.
libBdd101.a :
allocbdduserfunc, allocbdheath, allocbddhnode, allocbddhoper, allocbddhnodetable,
allocbddhopertable, allocbddblock, allocbddnodeblock, allocbddvartree, allocbddvarenfant,
allocbddvarnode, allocbddindexnode, allocbddvar, allocbddindex, allocbddassoc,
allocbddassocnode, allocbddnamein, allocbddindexin, allocbddsystem, allocbddcircuit,
voirbddallocinfo, appliquerbddnodenot, appliquerbddnodeterm, appliquerbddnode, appliquerbddnodeite,
appliquerbddnodelist, ajouterbddassoc, addbddnodeassoc, delbddassoc, delbddnodeassoc,
détruirebddassoc, vuebddassoc, ajouterbddblock, créerbddblock, réinitialiserbddblock,
détruirebddblock, afficherbddblock, checkbddvar, vérifierbddindex, checkbddoper, checkbddassoc,
checkbddmaxnode, créer un circuit, réinitialiserbddcircuit, détruire le circuit, recherchebddcircuitin,
ajouterbddcircuitin, ajouterbddcircuitaux, recherchebddcircuitout, ajouterbddcircuitout,
delbddcircuitout, ajouterbddcircuitabl, convertirbddcircuitabl, convertirbddcircuitsumabl,
vuebddcircuit, cofacteurbddnode, restreindrebddnode, composerbddnode, convertirbddindexabl,
convertirbddmuxabl, convertirbddnodeabl, convertirbddnodesumabl, existerbddnodeassocon,
existebddnodeassocoff, gratuitbdduserfunc, freebdheath, nœud gratuitbddhnode, gratuitbddhoper,
librebddhnodetable, gratuitbddhopertable, blocbdd gratuit, bloc de nœud gratuit, gratuitbddvartree,
gratuitbddvarchild, freebddvarnode, nœud d'index gratuit, librebddvar, index gratuit, gratuitbddassoc,
freebddassocnode, nomdebddin gratuit, gratuitbddindexin, système bdd gratuit, circuit libre,
système poubellebdd, getbdheathvar, getbdheath, delbdheath, setbddhnodefunc,
getbddhnodesize, obtenirbddhnodekey, getbddhnodeindex, checkbddhnode, créerbddhnodetable,
détruirebddhnodetable, réinitialiserbddhnodetable, redimensionnerbddhnodetable, stretchbddhnodetable,
ajouterbddhnode, delbddhnode, voirbddhnode, vuebddhnodetable, vuebddindexnode,
voirbddvarnode, setbddhoperfunc, getbddhopersize, getbddhoperkey, créerbddhopertable,
détruirebddhopertable, réinitialiserbddhopertable, ajouterbddhoper, recherchebddhoper, vuebddhoper,
vuebddhopertable, Implybddnode, intersectionbddnoeud, marquebddnode, démarquerbddnode,
getbddnodenum, getbddnodesize, ajouterbddnode, addbddnodelist, noeud delbdd, delbddnodelist,
voirbddnode, incbddrefext, incbddrefint, décbddrefext, décbddrefint, setbddrefext,
désinstallerbddrefext, clearbddsystemrefint, clearbddsystemretext, clearbddsystemref,
relprodbddnodeassoc, réorganiserbddvartreewindow2, réorganiserbddvartreewindow3,
réorganiserbddsystemsimple, réorganiserbddsystemwindow, réorganiserbddsystemtop,
réorganiserbddsystèmedynamique, redimensionnerbddvarchild, redimensionnerbddvarnode, redimensionnerbddvar,
redimensionnerbddindexnode, redimensionnerbddindex, redimensionnerbddassocnode, redimensionnerbddnamein, redimensionnerbddindexin,
satisfairebddnode, simpbddnodedcon, simpbddnodedcoff, substbddnodeassoc, obtenirbddnodesupport,
isbddvarinsupport, créerbddsystem, réinitialiserbddsystem, détruirebddsystem, système viewbdd,
voirbddsysteminfo, testbddcircuit, addbdduserfunc, delbdduserfunc, execbdduserfunc,
détruirebdduserfunc, nouveaubddvar, addbddvar, ajouterbddvarlast, ajouterbddvarfirst, ajouterbddvaravant,
ajouterbddvaraprès, balayagebddvar, swapbddvar, getbddvarbyindex, obtenirbddvarindex, obtenirbddvarnode,
getbddvarnodebyindex, addbddvarauxsimple, addbddvarauxglobal, recherchebddvartree,
deltabddvartree, shiftbddvartree, ajouterbddvartree, swapbddvartree, créerbddvartree,
réinitialiserbddvartree, détruirebddvartree, vuebddvartree.
Utiliser bdd en ligne en utilisant les services onworks.net
