Exemple #1
0
 public void simulateDiagramRecursive(Gates.GateObject node)
 {
     if (node == null)
     {
         return;
     }
     if (node.hasLeft() && node.input1.getOutput() == -1)
     {
         this.simulateDiagramRecursive(node.input1);
     }
     if (node.hasLeft() && node.input1.getOutput() != -1)
     {
         node.in1val = node.input1.getOutput();
     }
     if (node.hasRight() && node.input2.getOutput() == -1)
     {
         this.simulateDiagramRecursive(node.input2);
     }
     if (node.hasRight() && node.input2.getOutput() != -1)
     {
         node.in2val = node.input2.getOutput();
     }
     if (!(node.GetType() == typeof(Gates.Output)) || node.in1val == -1)
     {
         return;
     }
     this.result = node.getOutput();
 }
Exemple #2
0
 public string getEquationTerm(Gates.GateObject gate)
 {
     if (gate.GetType() == typeof(Gates.ANDGate))
     {
         return("(#.#)");
     }
     if (gate.GetType() == typeof(Gates.ORGate))
     {
         return("(#+#)");
     }
     if (gate.GetType() == typeof(Gates.XORGate))
     {
         return("(#^#)");
     }
     if (gate.GetType() == typeof(Gates.NANDGate))
     {
         return("`(#.#)");
     }
     if (gate.GetType() == typeof(Gates.NORGate))
     {
         return("`(#+#)");
     }
     if (gate.GetType() == typeof(Gates.XNORGate))
     {
         return("`(#^#)");
     }
     if (gate.GetType() == typeof(Gates.NOTGate))
     {
         return("`(#)");
     }
     return(gate.getName());
 }
Exemple #3
0
        private Tuple <Gates.GateObject, Point, string> getclickedConnection(int mx, int my)
        {
            Gates.GateObject gateIndex = this.getGateIndex(mx, my);
            if (gateIndex == null)
            {
                return((Tuple <Gates.GateObject, Point, string>)null);
            }
            int[][] circlePositions = gateIndex.getCirclePositions();
            Point   pos             = gateIndex.getPos();

            if (gateIndex.GetType() == typeof(Gates.Input))
            {
                Point  point = new Point(pos.X + circlePositions[0][0], pos.Y + circlePositions[0][1] + 2);
                string str   = "Out";
                return(new Tuple <Gates.GateObject, Point, string>(gateIndex, point, str));
            }
            if (gateIndex.GetType() == typeof(Gates.Output))
            {
                Point  point = new Point(pos.X + circlePositions[0][0], pos.Y + circlePositions[0][1] + 2);
                string str   = "Left";
                return(new Tuple <Gates.GateObject, Point, string>(gateIndex, point, str));
            }
            int   index1 = 0;
            float num    = -1f;

            for (int index2 = 0; index2 < circlePositions.Length; ++index2)
            {
                float distancePoints = this.getDistancePoints(new Point(mx, my), new Point(pos.X + circlePositions[index2][0], pos.Y + circlePositions[index2][1] + 2));
                if ((double)num == -1.0)
                {
                    num = distancePoints;
                }
                if ((double)distancePoints < (double)num)
                {
                    num    = distancePoints;
                    index1 = index2;
                }
            }
            Point  point1 = new Point(pos.X + circlePositions[index1][0], pos.Y + circlePositions[index1][1] + 2);
            string str1   = index1 != 0 ? (index1 != 1 ? "Right" : "Left") : "Out";

            return(new Tuple <Gates.GateObject, Point, string>(gateIndex, point1, str1));
        }
Exemple #4
0
 public void resetDiagram(Gates.GateObject node)
 {
     node.setHighlight(false);
     if (node.GetType() != typeof(Gates.Input))
     {
         node.in1val = -1;
         node.in2val = -1;
     }
     if (node == null)
     {
         return;
     }
     if (node.hasLeft() && node.input1 != null)
     {
         this.resetDiagram(node.input1);
     }
     if (!node.hasRight() || node.input2 == null)
     {
         return;
     }
     this.resetDiagram(node.input2);
 }
Exemple #5
0
 public void doConversion(Gates.GateObject node)
 {
     if (node.GetType() != typeof(Gates.Output))
     {
         string equationTerm = this.getEquationTerm(node);
         if (this.equation == "")
         {
             this.equation = equationTerm;
         }
         else
         {
             for (int startIndex = 0; startIndex < this.equation.Length; ++startIndex)
             {
                 if ((int)this.equation[startIndex] == 35)
                 {
                     this.equation = this.equation.Remove(startIndex, 1);
                     this.equation = this.equation.Insert(startIndex, equationTerm);
                     break;
                 }
             }
         }
     }
     if (node == null)
     {
         return;
     }
     if (node.hasLeft() && node.input1 != null)
     {
         this.doConversion(node.input1);
     }
     if (!node.hasRight() || node.input2 == null)
     {
         return;
     }
     this.doConversion(node.input2);
 }
Exemple #6
0
        public void renderGates(Gates.GateObject gate, PaintEventArgs e)
        {
            if (gate.getOutput() == 1)
            {
                gate.setHighlight(true);
            }
            else
            {
                gate.setHighlight(false);
            }
            Image image = gate.getImage();
            Point pos1  = gate.getPos();

            e.Graphics.DrawImageUnscaled(image, pos1);

            if (gate.GetType() == typeof(Gates.Input) || gate.GetType() == typeof(Gates.Output))
            {
                SolidBrush solidBrush = new SolidBrush(Color.Black);
                Font       font       = new Font(FontFamily.GenericSansSerif, 12f, FontStyle.Bold);
                Point      point      = new Point(pos1.X + 12, pos1.Y - 10);
                if (gate.GetType() == typeof(Gates.Input))
                {
                    e.Graphics.DrawString(gate.getName(), font, (Brush)solidBrush, (PointF)point);
                }
                else
                {
                    e.Graphics.DrawString("Q", font, (Brush)solidBrush, (PointF)point);
                }
            }

            Pen pen1 = new Pen(Color.Black, 1f);

            int[][] circlePositions1 = gate.getCirclePositions();
            for (int index = 0; index < circlePositions1.Length; ++index)
            {
                e.Graphics.DrawEllipse(pen1, pos1.X + circlePositions1[index][0], pos1.Y + circlePositions1[index][1], circlePositions1[index][2], circlePositions1[index][3]);
            }
            if (gate == null)
            {
                return;
            }
            Point pos2;
            Point start;
            Point end;

            if (gate.hasLeft() && gate.input1 != null)
            {
                Pen pen2 = new Pen(Color.Black, 2f);
                if (this.wireList.Count == this.wireHighlight && this.wireHighlight != -1)
                {
                    pen2 = new Pen(Color.Red, 2f);
                }
                int[][] circlePositions2 = gate.input1.getCirclePositions();
                pos2  = gate.input1.getPos();
                start = new Point(circlePositions2[0][0] + pos2.X + 4, circlePositions2[0][1] + pos2.Y + 2);
                if (gate.input1.getOutput() == 1 && this.simulating)
                {
                    pen2 = new Pen(Color.FromArgb(38, 126, 241), 2f);
                }
                if (circlePositions1.Length > 1)
                {
                    end = new Point(circlePositions1[1][0] + pos1.X, circlePositions1[1][1] + pos1.Y + 2);
                    Point[] points = this.calculatePoints(start, end);
                    this.wireList.Add(points);
                    e.Graphics.DrawLines(pen2, points);
                }
                else
                {
                    end = new Point(circlePositions1[0][0] + pos1.X, circlePositions1[0][1] + pos1.Y + 2);
                    Point[] points = this.calculatePoints(start, end);
                    this.wireList.Add(points);
                    e.Graphics.DrawLines(pen2, points);
                }
                this.renderGates(gate.input1, e);
            }
            if (!gate.hasRight() || gate.input2 == null)
            {
                return;
            }
            Pen pen3 = new Pen(Color.Black, 2f);

            if (this.wireList.Count == this.wireHighlight && this.wireHighlight != -1)
            {
                pen3 = new Pen(Color.Red, 2f);
            }
            int[][] circlePositions3 = gate.input2.getCirclePositions();
            if (gate.input2.getOutput() == 1 && this.simulating)
            {
                pen3 = new Pen(Color.FromArgb(38, 126, 241), 2f);
            }
            pos2  = gate.input2.getPos();
            start = new Point(circlePositions3[0][0] + pos2.X + 4, circlePositions3[0][1] + pos2.Y + 2);
            end   = new Point(circlePositions1[2][0] + pos1.X, circlePositions1[2][1] + pos1.Y + 2);
            Point[] points1 = this.calculatePoints(start, end);
            this.wireList.Add(points1);
            e.Graphics.DrawLines(pen3, points1);
            this.renderGates(gate.input2, e);
        }