// Gate image overlays

mux000 = new Image(350, 175); mux000.src = "images/mux000.gif";
mux001 = new Image(350, 175); mux001.src = "images/mux001.gif";
mux010 = new Image(350, 175); mux010.src = "images/mux010.gif";
mux011 = new Image(350, 175); mux011.src = "images/mux011.gif";
mux100 = new Image(350, 175); mux100.src = "images/mux100.gif";
mux101 = new Image(350, 175); mux101.src = "images/mux101.gif";
mux110 = new Image(350, 175); mux110.src = "images/mux110.gif";
mux111 = new Image(350, 175); mux111.src = "images/mux111.gif";


// gate input values

var gatesIn = new Array(0);
gatesIn[0] = new Array(2);	// 2-input multiplexer
gatesIn[0][0] = "0";
gatesIn[0][1] = "0";
gatesIn[0][2] = "0";


// gate names

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


// Input and output counts

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

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