addOuputCct(2)

ORIGIN
Cao-vlsi libraries, log package, libbddmmm.a

NAME
addOuputCct - adds an ouput associated to a BDD in a circuit

SYNOPSIS
#include "logmmm.h"
void addOuputCct(pC,name,pBdd)
pCircuit pC;
char *name;
pNode pBdd;

PARAMETERS

pC  Circuit

name
    name to add

pBdd
    node to add

DESCRIPTION
addOuputCct() adds a new output associated to a pBdd.

EXAMPLE
#include "mutnnn.h"		/* mbk utilities */
#include "logmmm.h"
pCircuit pC;
chain_list *expr;
initializeBdd(SMALL_BDD);
pC = initializeCct("circuit 1",10,10);
addInputcct(pC,"a");
addInputCct(pC,"b");
	/* let's suppose that expr = (OR a b) */
addOuputcct(pC,"s1",one);
addOuputCct(pC,"s2",ablToBddCct(pC,expr));
displayBdd(pC,1)
/* it will display
************* DISPLAY circuit 1 **********
INPUT = a	INDEX = 2
INPUT = b	INDEX = 3
--------- NUMBER OF INPUTS = 2
OUTPUT = s1	s1 = 1
OUTPUT = s2	s2 = (OR a b)
--------- NUMBER OF OUTPUTS = 2
******************************************
*/
destroyCct(pC);
destroyBdd(1);

SEE ALSO
log(1), bdd(1), addOutputCct(2), searchInputCct(2), addOutputCct(2).

SUPPORT STATUS
if bugs arise, please e-mail to cao-vlsi@masi.ibp.fr