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)

NAME | SYNOPSYS | PARAMETER | DESCRIPTION | EXAMPLE | ERROR | SEE ALSO

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

home | help