// Gate image overlays

demux00 = new Image(285, 175); demux00.src = "images/demux00.gif";
demux01 = new Image(285, 175); demux01.src = "images/demux01.gif";
demux10 = new Image(285, 175); demux10.src = "images/demux10.gif";
demux11 = new Image(285, 175); demux11.src = "images/demux11.gif";


// gate input values

var gatesIn = new Array(0);
gatesIn[0] = new Array(1);	// 1-to-2 line decoder/demultiplexer
gatesIn[0][0] = "0";
gatesIn[0][1] = "0";


// gate names

var gateNames = new Array(0);
gateNames[0] = "demux";


// Input and output counts

var gateInputs = new Array(0);
gateInputs[0] = 2;

var gateOutputs = new Array(0);
gateOutputs[0] = 0;