// Gate image overlays

demux000 = new Image(350, 450); demux000.src = "images/demux000.gif";
demux001 = new Image(350, 450); demux001.src = "images/demux001.gif";
demux010 = new Image(350, 450); demux010.src = "images/demux010.gif";
demux011 = new Image(350, 450); demux011.src = "images/demux011.gif";
demux100 = new Image(350, 450); demux100.src = "images/demux100.gif";
demux101 = new Image(350, 450); demux101.src = "images/demux101.gif";
demux110 = new Image(350, 450); demux110.src = "images/demux110.gif";
demux111 = new Image(350, 450); demux111.src = "images/demux111.gif";


// gate input values

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


// gate names

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


// Input and output counts

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

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