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

FreeBSD Manual Pages

  
 
  

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

NAME
       applyBdd	- applies an operator to a list	of BDD.

SYNOPSYS
       #include	"logmmm.h"
       pNode applyBdd(oper,pt)
       short oper;
       chain_list *pt;

PARAMETERS
       oper		   operator	     number	     to		 apply
			   (OR,AND,XOR,NAND,NOR,NXOR,NOT)

       pt		   chain_list of BDD.

DESCRIPTION
       applyBdd() applies oper to a list of Bdd. This list can be  created  by
       addListBdd() function. This function provides the basic method for cre-
       ating the representation	of a function according	to the operators in  a
       boolean expression.

EXAMPLE
       #include	"mutnnn.h"	/* mbk utilities */
       #include	"logmmm.h"
       pNode nodeA,nodeB,nodeC;
       pNode res;
       chain_list *pt;

       initializeBdd(SMALL_BDD);
       nodeA = createNodeTermBdd(3);
       nodeB = createNodeTermBdd(3);
       nodeC = createNodeTermBdd(4);
       pt = NULL;
       pt = addListBdd(pt,nodeA);
       pt = addListBdd(pt,nodeB);
       pt = addListBdd(pt,nodeC);
       res = applyBdd(OR,pt);
       displayBdd(res,1);

       /* it will display
       @res    INDEX = 4   LOW = @inter	  HIGH = ONE
       @inter  INDEX = 3   LOW = @nodeA	  HIGH = ONE
       @nodeA  INDEX = 2   LOW = ZERO	     HIGH = ONE
       */

       destroyBdd(1);

ERRORS
       "applyBdd : error - unknown operator"
       the operator number must	be in (OR,AND,XOR,NAND,NOR,NXOR,NOT)
       "applyBdd : error - chained list	is empty"
       chained list pointer pt = NULL.
       "applyBdd : error - bad operator"
       The  number of arguments	is 1 and the operator is distinct from NOT.
       chained list pointer pt = NULL.

SEE ALSO
       log(1),	 bdd(1),   addListBdd(3),   applyBinBdd(3),   notBdd(3),  con-
       straintBdd(3), composeBdd(3), displayBdd(3), createNodeTermBdd(3).

ASIM/LIP6			October	1, 1997			   APPLYBDD(3)
NAME | SYNOPSYS | PARAMETERS | DESCRIPTION | EXAMPLE | ERRORS | SEE ALSO

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

home | help