createnodetermbdd(3) - Linux man page

Name

createNodeTermBdd - creates a terminal node of variable.

Synopsys

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

Parameter

index

associated index

Description

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.

Example

#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);

Error

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

See Also

log(1), bdd(1), applybinbdd(3), applybdd(3), addlistbdd(3), displaybdd(3), notbdd(3).

Referenced By