upvarbdd(3) - Linux man page

Name

upVarBdd - brings up an index in a BDD

Synopsys

#include "logmmm.h"
pNode upVarBdd(pBdd,oldIndex,newIndex)
pNode pBdd;
short oldIndex,newIndex;

Parameters

pBdd

BDD in wich 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).

Referenced By