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

FreeBSD Manual Pages

  
 
  

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

NAME
       ablToBddCct - converts an ABL into a BDD	within a circuit

SYNOPSIS
       #include	"logmmm.h"
       pNode ablToBddCct(pC,expr)
       pCircuit	pC;
       chain_list *expr;

PARAMETERS
       pC		   Circuit in which is made the	conversion

       expr		   expression to convert

DESCRIPTION
       ablToBddCct()  constructs  the  graph  that is computed from expr. This
       function	provides the basic method for constructing  easily  the	 BDDs.
       The applyBdd() function is called recursively by	going through the ABL.

EXAMPLE
       #include	"mutnnn.h"	/* mbk utilities */
       #include	"logmmm.h"
       chain_list *expr;
       pNode res;
       pCircuit	pC;

       initializeBdd(SMALL_BDD);
       pC = initializeCct("circuit 1",10,10);

       addInputCct(pC,"a");
       addInputCct(pC,"b");

	    /* let's suppose that expr = (OR (AND (NOT a) b) a)	*/

       res = ablToBddCct(pC,expr);
       displayBdd(res,1);

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

       destroyCct(pC);
       destroyBdd(1);

SEE ALSO
       log(1), bdd(1), abl(1), bddToAblCct(3).

ASIM/LIP6			October	1, 1997			ABLTOBDDCCT(3)

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

home | help