DISPLAYCCT(3)

NAME
displayCct - displays a circuit

SYNOPSYS
#include "logmmm.h"
void displayCct(pC,mode)
pCircuit pC;
int mode;

PARAMETERS

pC  circuit to display

mode
    displaying mode

DESCRIPTION
displayCct() displays on the screen all the informations concerning pC (number of inputs, index input, number of outputs, BDD associated). if mode = 0 the BDDs are display with the displayBdd() function, if it does, the BDDs are convert into ABLs and the ABL are displayed.

EXAMPLE
#include "mutnnn.h"		/* mbk utilities */
#include "logmmm.h"
pCircuit pC;
chain_list *expr;
displayBdd(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));
displayCct(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), initializeCct(3), resetCct(3), destroyCct(3).