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

  
 
  

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

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

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

PARAMETERS
     pC 		 Circuit in which is made the conversion

     pBdd		 BDD to convert

DESCRIPTION
     bddToAblCct() converts pBdd into an expression. This function returns a re-
     sult  that  depends  from	the ordering of the primary input. This function
     provides the basic method for the logical optimizer called in BOP.

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 res = (OR a b) */

     expr = bddToAblCct(pC,applyBinBdd(OR,
			 createNodeTermBdd(searchInputCct(pC,"a"))),
			 createNodeTermBdd(searchInputCct(pC,"b")));
     displayExpr(expr);

     /* it will display
     (OR a b)
     */

     destroyCct(pC);
     destroyBdd(1);

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

ASIM/LIP6			 October 1, 1997		  BDDTOABLCCT(3)

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

home | help