Rechercher une page de manuel
constraintBdd
Langue: en
Version: October 1, 1997 (fedora - 06/07/09)
Section: 3 (Bibliothèques de fonctions)
man2html: unable to open or read file man1/alc_origin.1
NAME
constraintBdd - restricts a BDD to another BDDSYNOPSYS
#include "logmmm.h" pNode constraintBdd(pBdd1,pBdd2) pNode pBdd1; pNode pBdd2;
PARAMETERS
- pBdd1
- BDD to restrict
- pBdd2
- constraint BDD
DESCRIPTION
constraintBdd() constructs the graph for the function obtained by restricting pBdd1 on pBdd2. This function can be used for example when a primary input is stuck at 0 or 1.EXAMPLE
#include "mutnnn.h" /* mbk utilities */ #include "logmmm.h" pNode nodeA,nodeB; pNode res; initializeBdd(SMALL_BDD); nodeA = createNodeTermBdd(3); nodeB = createNodeTermBdd(3); res = applyBinBdd(OR,nodeA,nodeB); /* res = (OR a b) res = constraintBdd(res,nodeA); /* a = 1 */ displayBdd(res,1); /* it will display @res ONE */ destroyBdd(1);
SEE ALSO
log(1), bdd(1), simplifDcOneBdd(3), simplifDcZeroBdd(3), composeBdd(3), applyBdd(3), notBdd(3), applyBinBdd(3), addListBdd(3), displayBdd(3), createNodeTermBdd(3).man2html: unable to open or read file man1/alc_bug_report.1
Contenus ©2006-2024 Benjamin Poulain
Design ©2006-2024 Maxime Vantorre