debian man page for notbdd

Query: notbdd

OS: debian

Section: 3

Format: Original Unix Latex Style Formatted with HTML and a Horizontal Scroll Bar

NOTBDD(3)							   BDD functions							 NOTBDD(3)

ORIGIN
This software belongs to the ALLIANCE CAD SYSTEM developed by the ASIM team at LIP6 laboratory of Universite Pierre et Marie CURIE, in Paris, France. Web : http://asim.lip6.fr/recherche/alliance/ E-mail : alliance-users@asim.lip6.fr
NAME
notBdd - complements a BDD
SYNOPSYS
#include "logmmm.h" pNode notBdd(pBdd) pNode pBdd;
PARAMETER
pBdd BDD to complement
DESCRIPTION
notBdd() applies NOT operator to pBdd.
EXAMPLE
#include "mutnnn.h" /* mbk utilities */ #include "logmmm.h" pNode nodeA; initializeBdd(SMALL_BDD); nodeA = createNodeTermBdd(3); displayBdd(notBdd(nodeA),1); /* it will display @nodeA INDEX = 2 LOW = ONE HIGH = ZERO */ destroyBdd(1);
SEE ALSO
log(1), bdd(1), applyBinBdd(3), applyBdd(3), constraintBdd(3), composeBdd(3), addListBdd(3), displayBdd(3), createNodeTermBdd(3).
BUG REPORT
This tool is under development at the ASIM department of the LIP6 laboratory. We need your feedback to improve documentation and tools.
ASIM
/LIP6 October 1, 1997 NOTBDD(3)
Related Man Pages
applybinbdd(3) - debian
composebdd(3) - debian
constraintbdd(3) - debian
simplifdconebdd(3) - debian
upvarbdd(3) - debian
Similar Topics in the Unix Linux Community
Values of value($$X) in unix shell script