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

FreeBSD Manual Pages

  
 
  

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

NAME
       upVarBdd	- brings up an index in	a BDD

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

PARAMETERS
       pBdd		   BDD in which	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),	  com-
       poseBdd(3),  applyBinBdd(3),  addListBdd(3), displayBdd(3), createNode-
       TermBdd(3).

ASIM/LIP6			October	1, 1997			   UPVARBDD(3)

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

home | help