Skip site navigation (1)Skip section navigation (2)

FreeBSD Manual Pages

  
 
  

home | help 
CREATENODETERMBDD(3)		 BDD functions		  CREATENODETERMBDD(3)

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. Be-
       cause  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),  dis-
       playBdd(3), notBdd(3).

ASIM/LIP6			October	1, 1997		  CREATENODETERMBDD(3)

Want to link to this manual page? Use this URL:
<https://man.freebsd.org/cgi/man.cgi?query=createNodeTermBdd&sektion=3&manpath=FreeBSD+12.0-RELEASE+and+Ports>

home | help