createNodeTermBdd.3alc - Man Page

#include "logmmm.h"
pNode createNodeTermBdd(index)
short index;

index

associated index

createNodeTermBdd() creates a terminal node corresponding to index. Because of reduction table, this function always returns the same pNode for a given index. 0 and 1 index are reserved to the zero and one nodes.

#include "mutnnn.h"		/* mbk utilities */
#include "logmmm.h"
pNode nodeA;

initializeBdd(SMALL_BDD);
nodeA = createNodeTermBdd(3);
displayBdd(nodeA,1);

/* it will display 
@nodeA   INDEX = 2   LOW = ZERO   HIGH = ONE
*/
nodeA = createNodeTermBdd(3);	/* nodeA doesn't change */
	
destroyBdd(1);

"createNodeTermBdd : error - index < 2"
index must be strictly higher than 1.

log(1), bdd(1), applyBinBdd(3), applyBdd(3), addListBdd(3), displayBdd(3), notBdd(3).

addListBdd.3alc(3), applyBdd.3alc(3), applyBinBdd.3alc(3), composeBdd.3alc(3), constraintBdd.3alc(3), displayBdd.3alc(3), gcNodeBdd.3alc(3), notBdd.3alc(3), numberNodeAllBdd.3alc(3), numberNodeBdd.3alc(3), simplifDcOneBdd.3alc(3), simplifDcZeroBdd.3alc(3), supportChain_listBdd.3alc(3), upVarBdd.3alc(3).