Este es el comando bdd que se puede ejecutar en el proveedor de alojamiento gratuito de OnWorks utilizando una de nuestras múltiples estaciones de trabajo en línea gratuitas, como Ubuntu Online, Fedora Online, emulador en línea de Windows o emulador en línea de MAC OS.
PROGRAMA:
NOMBRE
bdd - Diagramas de decisión binarios ordenados reducidos de Mutli
DESCRIPCIÓN
db es una biblioteca que permite representar una expresión booleana como un Multi Reduced Ordered
Diagramas de decisión binaria.
verbddallocinfo - muestra información de la memoria.
aplicarbddnodenot - complementa un db.
aplicarbddnodeterm - aplica un operador en dos db nodos
aplicarbddnode - aplica un operador en dos db nodos
aplicarbddnodeite - calcula la operación lógica IF-THEN-ELSE.
aplicarbddnodelist - aplica un opertor a un db lista de nodos.
agregarbddassoc - crea una nueva asociación de variables.
agregarbddnodeassoc - agrega un db nodo en una asociación de variables.
delbddassoc : elimina una asociación de variables.
delbddnodeassoc - elimina un db nodo en una asociación de variables.
destruirbddassoc - libera todas las asociaciones de variables.
verbddassoc - muestra asociaciones de variables.
verificarbddvar - comprueba la coherencia de una variable.
comprobarbddindex - comprueba la coherencia de un db índice.
comprobarbdoper - comprueba la coherencia de un operador.
comprobarbddassoc - comprueba una asociación de variables.
verificarbddmaxnode - comprueba si se alcanzó el nodo máximo.
crearbddcircuit - crea un db circuito.
restablecer circuito bdd - restablece un db circuito.
destruir el circuito - libera un db circuito.
buscarbddcircuitin - busca una entrada específica en un circuito.
agregarbddcircuitin - agrega una nueva entrada en un circuito.
addbddcircuitaux - agrega una variable auxiliar en un circuito.
buscarbddcircuitout - busca una salida especificada en un circuito.
agregarbddcircuitout - agrega una nueva salida en un circuito.
salidadelbddcircuito : elimina una salida especificada en un circuito.
addbddcircuitable - convierte un abl a una db nodo.
convertbddcircuitable
- convierte un db nodo a un abl.
convertirbddcircuitsumabl
- convierte un db nodo a un abl.
vistabddcircuito - muestra un db circuito.
nodocofactorbdd - calcula el cofactor generalizado.
restringirbddnode - sustituye una variable por cero o uno.
componerbddnode - sustituye una variable por una db nodo.
convertirbddindexabl - convierte un db índice de un atómico abl.
convertirbddmuxabl - convierte un db nodo a un multiplexor.
convertbddnodeable - convierte un db nodo a un abl.
convertirbddnodesumabl
- convierte un db nodo a un abl.
existebddnodeassocon - calcula una cuantificación existencial.
existebddnodeassocoff
- calcula una cuantificación existencial.
sistema de basura - fuerza a db recolección de basura.
implícitobddnode - calcula un db eso implica una conjunción.
intersectarbddnodo - pruebas para una intersección.
marcabddnode - marca un db nodo.
desmarcarbddnode - borra un marcado db nodo.
getbddnodenum - obtiene el número de nodos en un db.
getbddnodesize - obtiene el número de nodos en un db.
agregarbddnode - agrega un nuevo db nodo.
agregarbddnodelist - agrega un nodo en un lista_cadena.
nododelbdd - elimina un db nodo.
delbddnodelist - elimina una lista de db nodos
vistabddnode - muestra un db nodo.
incbddretexto - incrementa el número de referencia externa.
incbddrefint - incrementa el número de referencia interna.
decbddretexto - Disminuye el número de referencia externa.
decbddrefint - Disminuye el número de referencia interna.
setbddretexto - establece un nodo visible desde el exterior.
unsetbddrefext - establece un nodo invisible desde el exterior.
clearbddsystemrefint
- borra todas las referencias internas.
clearbddsystemretexto
- borra todas las referencias externas.
clearbddsystemref - borra todas las referencias.
relprodbddnodeassoc - calcula un producto de relación.
reordenarbddsystemsimple
- reordena el db nodos
reordenarbddsystemwindow
- reordena el db nodos
reordenarbddsystemtop - reordena el db nodos
reordenarbddsystemdynamic
- establece los parámetros de reordenamiento dinámico.
satisfacerbddnode - encuentra un camino satisfactorio para un db.
simpbddnodedcon - simplifica un db con don't se preocupa en su inicio.
simpbddnodedcoff - simplifica un db con no le importa en su compensación
substbddnodeassoc - sustituye variables con db nodos
soporte de getbddnode - da el apoyo de un db nodo.
isbddvarinsupport - comprueba si una variable aparece en un db nodo.
crearbddsystem - crea un db .
restablecerbddsistema - restablece un db .
destruir el sistema - libera un db .
verbddsystem - muestra un db .
verbddsysteminfo - muestra información estadística.
pruebabddcircuito - depura un db circuito.
añadirbddvar - crea una nueva variable.
agregarbddvarlast - crea una nueva variable.
agregarbddvarprimero - crea una nueva variable.
agregarbddvarantes - crea una nueva variable.
añadirbddvarafter - crea una nueva variable.
barridobddvar - barre todos los nodos no utilizados para una variable.
intercambiobddvar - intercambia dos variables contigous.
getbddvarbyindex - convierte db índice a un número de variable.
getbddvarindex - convierte un número de variable en un db índice.
obtenerbddvarnode - da el db nodo de una variable.
getbddvarnodebyindex
- da el db nodo de una variable.
agregarbddvarauxsingle - crea una variable auxiliar.
agregarbddvarauxglobal - crea una variable auxiliar.
libBdd101.a:
allocbdduserfunc, allocbdheath, allocbddhnodo, allocbddhoper, allocbddhnodetable,
allocbddhopertable, bloque allocbdd, allocbddnodeblock, allocbddvartree, allocbddvarchild,
allocbddvarnodo, nodo allocbddindex, allocbddvar, allocbddindex, allocbddassoc,
allocbddassocnodo, allocbddnamein, allocbddindexin, sistema allocbdd, circuito allocbdd,
verbddallocinfo, aplicarbddnodenot, aplicarbddnodeterm, aplicarbddnode, aplicarbddnodeite,
aplicarbddnodelist, agregarbddassoc, agregarbddnodeassoc, delbddassoc, delbddnodeassoc,
destruirbddassoc, verbddassoc, agregarbddblock, crearbddblock, restablecerbddblock,
destruir, vistabddblock, verificarbddvar, comprobarbddindex, comprobarbdoper, comprobarbddassoc,
verificarbddmaxnode, crearbddcircuit, restablecer circuito bdd, destruir el circuito, buscarbddcircuitin,
agregarbddcircuitin, addbddcircuitaux, buscarbddcircuitout, agregarbddcircuitout,
salidadelbddcircuito, addbddcircuitable, convertbddcircuitable, convertirbddcircuitsumabl,
vistabddcircuito, nodocofactorbdd, restringirbddnode, componerbddnode, convertirbddindexabl,
convertirbddmuxabl, convertbddnodeable, convertirbddnodesumabl, existebddnodeassocon,
existebddnodeassocoff, freebdduserfunc, librebddheath, librebddhnode, librebddhoper,
librebddhnodetable, librebddhopertable, librebddblock, librebddnodeblock, librebddvartree,
freebddvarchild, librebddvarnode, nodolibrebddindex, librebddvar, librebddindex, librebddassoc,
librebddassocnode, librebddnamein, freebddindexin, librebddsystem, librebddcircuito,
sistema de basura, getbdheathvar, getbdheath, delbdheath, setbddhnodefunc,
obtenerbddhnodesize, getbddhnodekey, getbddhnodeindex, comprobarbddhnode, crearbddhnodetable,
destruirbddhnodetable, restablecerbddhnodetable, redimensionarbddhnodetable, estiramientobddhnodetable,
añadirbddhnode, delbddhnodo, vistabddhnode, verbddhnodetable, verbddindexnode,
verbddvarnode, setbddhoperfunc, getbddhopersize, getbddhoperkey, crearbddhopertable,
destruir, resetbddhopertable, agregarbddhoper, buscar, vistabddhoper,
vistabddhopertable, implícitobddnode, intersectarbddnodo, marcabddnode, desmarcarbddnode,
getbddnodenum, getbddnodesize, agregarbddnode, agregarbddnodelist, nododelbdd, delbddnodelist,
vistabddnode, incbddretexto, incbddrefint, decbddretexto, decbddrefint, setbddretexto,
unsetbddrefext, clearbddsystemrefint, clearbddsystemretexto, clearbddsystemref,
relprodbddnodeassoc, reordenarbddvartreewindow2, reordenarbddvartreewindow3,
reordenarbddsystemsimple, reordenarbddsystemwindow, reordenarbddsystemtop,
reordenarbddsystemdynamic, redimensionarbddvarchild, redimensionarbddvarnode, redimensionarbddvar,
redimensionarbddindexnode, redimensionarbddindex, redimensionarbddassocnode, cambiar el tamaño de bddnamein, redimensionarbddindexin,
satisfacerbddnode, simpbddnodedcon, simpbddnodedcoff, substbddnodeassoc, soporte de getbddnode,
isbddvarinsupport, crearbddsystem, restablecerbddsistema, destruir el sistema, verbddsystem,
verbddsysteminfo, pruebabddcircuito, agregarbdduserfunc, delbdduserfunc, ejecutivobdduserfunc,
destruirbdduserfunc, nuevabddvar, añadirbddvar, agregarbddvarlast, agregarbddvarprimero, agregarbddvarantes,
añadirbddvarafter, barridobddvar, intercambiobddvar, getbddvarbyindex, getbddvarindex, obtenerbddvarnode,
getbddvarnodebyindex, agregarbddvarauxsingle, agregarbddvarauxglobal, buscarbddvartree,
deltabddvartree, cambiobddvartree, agregarbddvartree, intercambiobddvartree, crearbddvartree,
restablecerbddvartree, destruirbddvartree, vistabddvartree.
Use bdd en línea usando los servicios de onworks.net
