UPVARBDD(3) BDD functions UPVARBDD(3) NAME upVarBdd - brings up an index in a BDD SYNOPSIS #include "logmmm.h" pNode upVarBdd(pBdd,oldIndex,newIndex) pNode pBdd; short oldIndex,newIndex; PARAMETERS pBdd BDD in which index is came up oldIndex index to come up newIndex new index DESCRIPTION upVarBdd() constructs a graph obtained by bringing up oldIndex to newIndex. This function is called by the BDDs reordering function. 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 = upVarBdd(res,2,4); displayBdd(res,1); /* it will display @res INDEX 4 LOW = @nodeB HIGH = ONE @nodeB INDEX 3 LOW = ZERO HIGH = ONE */ destroyBdd(1); ERROR "upVarBdd : error - newIndex <= oldIndex" The new index must be higher than the old index. SEE ALSO log(1), bdd(1), applyBdd(3), notBdd(3), constraintBdd(3), composeBdd(3), applyBinBdd(3), addListBdd(3), displayBdd(3), createNodeTermBdd(3). ASIM/LIP6 October 1, 1997 UPVARBDD(3)
NAME | SYNOPSIS | PARAMETERS | DESCRIPTION | EXAMPLE | ERROR | SEE ALSO
Want to link to this manual page? Use this URL:
<https://man.freebsd.org/cgi/man.cgi?query=upVarBdd&sektion=3&manpath=FreeBSD+Ports+15.1.quarterly>