namespace HeuristicLab.Problems.ProgramSynthesis.Push.Views {
  partial class PushProgramDebuggerView {
    /// <summary>
    /// Required designer variable.
    /// </summary>
    private System.ComponentModel.IContainer components = null;

    /// <summary>
    /// Clean up any resources being used.
    /// </summary>
    /// <param name="disposing">true if managed resources should be disposed; otherwise, false.</param>
    protected override void Dispose(bool disposing) {
      if (disposing && (components != null)) {
        components.Dispose();
      }
      base.Dispose(disposing);
    }

    #region Component Designer generated code

    /// <summary>
    /// Required method for Designer support - do not modify
    /// the contents of this method with the code editor.
    /// </summary>
    private void InitializeComponent() {
      System.ComponentModel.ComponentResourceManager resources = new System.ComponentModel.ComponentResourceManager(typeof(PushProgramDebuggerView));
      this.execGroupBox = new System.Windows.Forms.GroupBox();
      this.execList = new System.Windows.Forms.ListBox();
      this.integerGroupBox = new System.Windows.Forms.GroupBox();
      this.integerList = new System.Windows.Forms.ListBox();
      this.floatGroupBox = new System.Windows.Forms.GroupBox();
      this.floatList = new System.Windows.Forms.ListBox();
      this.codeGroupBox = new System.Windows.Forms.GroupBox();
      this.codeList = new System.Windows.Forms.ListBox();
      this.booleanGroupBox = new System.Windows.Forms.GroupBox();
      this.booleanList = new System.Windows.Forms.ListBox();
      this.nameGroupBox = new System.Windows.Forms.GroupBox();
      this.nameList = new System.Windows.Forms.ListBox();
      this.stepButton = new System.Windows.Forms.Button();
      this.resetButton = new System.Windows.Forms.Button();
      this.label1 = new System.Windows.Forms.Label();
      this.exampleComboBox = new System.Windows.Forms.ComboBox();
      this.tableLayoutPanel1 = new System.Windows.Forms.TableLayoutPanel();
      this.stepWidthBox = new System.Windows.Forms.NumericUpDown();
      this.runButton = new System.Windows.Forms.Button();
      ((System.ComponentModel.ISupportInitialize)(this.errorProvider)).BeginInit();
      this.execGroupBox.SuspendLayout();
      this.integerGroupBox.SuspendLayout();
      this.floatGroupBox.SuspendLayout();
      this.codeGroupBox.SuspendLayout();
      this.booleanGroupBox.SuspendLayout();
      this.nameGroupBox.SuspendLayout();
      this.tableLayoutPanel1.SuspendLayout();
      ((System.ComponentModel.ISupportInitialize)(this.stepWidthBox)).BeginInit();
      this.SuspendLayout();
      //
      // nameTextBox
      //
      this.errorProvider.SetIconAlignment(this.nameTextBox, System.Windows.Forms.ErrorIconAlignment.MiddleLeft);
      this.errorProvider.SetIconPadding(this.nameTextBox, 2);
      this.nameTextBox.Size = new System.Drawing.Size(890, 20);
      //
      // infoLabel
      //
      this.infoLabel.Location = new System.Drawing.Point(954, 3);
      //
      // execGroupBox
      //
      this.execGroupBox.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
            | System.Windows.Forms.AnchorStyles.Left)
            | System.Windows.Forms.AnchorStyles.Right)));
      this.execGroupBox.Controls.Add(this.execList);
      this.execGroupBox.Location = new System.Drawing.Point(3, 3);
      this.execGroupBox.Name = "execGroupBox";
      this.execGroupBox.Size = new System.Drawing.Size(244, 633);
      this.execGroupBox.TabIndex = 3;
      this.execGroupBox.TabStop = false;
      this.execGroupBox.Text = "Exec";
      //
      // execList
      //
      this.execList.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
            | System.Windows.Forms.AnchorStyles.Left)
            | System.Windows.Forms.AnchorStyles.Right)));
      this.execList.FormattingEnabled = true;
      this.execList.HorizontalScrollbar = true;
      this.execList.Location = new System.Drawing.Point(7, 20);
      this.execList.Name = "execList";
      this.execList.SelectionMode = System.Windows.Forms.SelectionMode.None;
      this.execList.Size = new System.Drawing.Size(231, 602);
      this.execList.TabIndex = 0;
      //
      // integerGroupBox
      //
      this.integerGroupBox.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
            | System.Windows.Forms.AnchorStyles.Left)
            | System.Windows.Forms.AnchorStyles.Right)));
      this.integerGroupBox.Controls.Add(this.integerList);
      this.integerGroupBox.Location = new System.Drawing.Point(628, 3);
      this.integerGroupBox.Name = "integerGroupBox";
      this.integerGroupBox.Size = new System.Drawing.Size(119, 633);
      this.integerGroupBox.TabIndex = 4;
      this.integerGroupBox.TabStop = false;
      this.integerGroupBox.Text = "Integer";
      //
      // integerList
      //
      this.integerList.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
            | System.Windows.Forms.AnchorStyles.Left)
            | System.Windows.Forms.AnchorStyles.Right)));
      this.integerList.FormattingEnabled = true;
      this.integerList.HorizontalScrollbar = true;
      this.integerList.Location = new System.Drawing.Point(6, 19);
      this.integerList.Name = "integerList";
      this.integerList.SelectionMode = System.Windows.Forms.SelectionMode.None;
      this.integerList.Size = new System.Drawing.Size(107, 602);
      this.integerList.TabIndex = 3;
      //
      // floatGroupBox
      //
      this.floatGroupBox.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
            | System.Windows.Forms.AnchorStyles.Left)
            | System.Windows.Forms.AnchorStyles.Right)));
      this.floatGroupBox.Controls.Add(this.floatList);
      this.floatGroupBox.Location = new System.Drawing.Point(753, 3);
      this.floatGroupBox.Name = "floatGroupBox";
      this.floatGroupBox.Size = new System.Drawing.Size(119, 633);
      this.floatGroupBox.TabIndex = 5;
      this.floatGroupBox.TabStop = false;
      this.floatGroupBox.Text = "Float";
      //
      // floatList
      //
      this.floatList.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
            | System.Windows.Forms.AnchorStyles.Left)
            | System.Windows.Forms.AnchorStyles.Right)));
      this.floatList.FormattingEnabled = true;
      this.floatList.HorizontalScrollbar = true;
      this.floatList.Location = new System.Drawing.Point(6, 19);
      this.floatList.Name = "floatList";
      this.floatList.SelectionMode = System.Windows.Forms.SelectionMode.None;
      this.floatList.Size = new System.Drawing.Size(107, 602);
      this.floatList.TabIndex = 4;
      //
      // codeGroupBox
      //
      this.codeGroupBox.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
            | System.Windows.Forms.AnchorStyles.Left)
            | System.Windows.Forms.AnchorStyles.Right)));
      this.codeGroupBox.Controls.Add(this.codeList);
      this.codeGroupBox.Location = new System.Drawing.Point(253, 3);
      this.codeGroupBox.Name = "codeGroupBox";
      this.codeGroupBox.Size = new System.Drawing.Size(244, 633);
      this.codeGroupBox.TabIndex = 5;
      this.codeGroupBox.TabStop = false;
      this.codeGroupBox.Text = "Code";
      //
      // codeList
      //
      this.codeList.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
            | System.Windows.Forms.AnchorStyles.Left)
            | System.Windows.Forms.AnchorStyles.Right)));
      this.codeList.FormattingEnabled = true;
      this.codeList.HorizontalScrollbar = true;
      this.codeList.Location = new System.Drawing.Point(7, 19);
      this.codeList.Name = "codeList";
      this.codeList.SelectionMode = System.Windows.Forms.SelectionMode.None;
      this.codeList.Size = new System.Drawing.Size(231, 602);
      this.codeList.TabIndex = 1;
      //
      // booleanGroupBox
      //
      this.booleanGroupBox.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
            | System.Windows.Forms.AnchorStyles.Left)
            | System.Windows.Forms.AnchorStyles.Right)));
      this.booleanGroupBox.Controls.Add(this.booleanList);
      this.booleanGroupBox.Location = new System.Drawing.Point(878, 3);
      this.booleanGroupBox.Name = "booleanGroupBox";
      this.booleanGroupBox.Size = new System.Drawing.Size(119, 633);
      this.booleanGroupBox.TabIndex = 5;
      this.booleanGroupBox.TabStop = false;
      this.booleanGroupBox.Text = "Boolean";
      //
      // booleanList
      //
      this.booleanList.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
            | System.Windows.Forms.AnchorStyles.Left)
            | System.Windows.Forms.AnchorStyles.Right)));
      this.booleanList.FormattingEnabled = true;
      this.booleanList.HorizontalScrollbar = true;
      this.booleanList.Location = new System.Drawing.Point(6, 19);
      this.booleanList.Name = "booleanList";
      this.booleanList.SelectionMode = System.Windows.Forms.SelectionMode.None;
      this.booleanList.Size = new System.Drawing.Size(107, 602);
      this.booleanList.TabIndex = 5;
      //
      // nameGroupBox
      //
      this.nameGroupBox.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
            | System.Windows.Forms.AnchorStyles.Left)
            | System.Windows.Forms.AnchorStyles.Right)));
      this.nameGroupBox.Controls.Add(this.nameList);
      this.nameGroupBox.Location = new System.Drawing.Point(503, 3);
      this.nameGroupBox.Name = "nameGroupBox";
      this.nameGroupBox.Size = new System.Drawing.Size(119, 633);
      this.nameGroupBox.TabIndex = 5;
      this.nameGroupBox.TabStop = false;
      this.nameGroupBox.Text = "Name";
      //
      // nameList
      //
      this.nameList.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
            | System.Windows.Forms.AnchorStyles.Left)
            | System.Windows.Forms.AnchorStyles.Right)));
      this.nameList.FormattingEnabled = true;
      this.nameList.HorizontalScrollbar = true;
      this.nameList.Location = new System.Drawing.Point(6, 19);
      this.nameList.Name = "nameList";
      this.nameList.SelectionMode = System.Windows.Forms.SelectionMode.None;
      this.nameList.Size = new System.Drawing.Size(107, 602);
      this.nameList.TabIndex = 2;
      //
      // stepButton
      //
      this.stepButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
      this.stepButton.Image = ((System.Drawing.Image)(resources.GetObject("stepButton.Image")));
      this.stepButton.Location = new System.Drawing.Point(112, 698);
      this.stepButton.Name = "stepButton";
      this.stepButton.Size = new System.Drawing.Size(28, 26);
      this.stepButton.TabIndex = 6;
      this.toolTip.SetToolTip(this.stepButton, "Step");
      this.stepButton.UseVisualStyleBackColor = true;
      //
      // resetButton
      //
      this.resetButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
      this.resetButton.Image = ((System.Drawing.Image)(resources.GetObject("resetButton.Image")));
      this.resetButton.Location = new System.Drawing.Point(6, 698);
      this.resetButton.Name = "resetButton";
      this.resetButton.Size = new System.Drawing.Size(28, 26);
      this.resetButton.TabIndex = 7;
      this.toolTip.SetToolTip(this.resetButton, "Reset to start");
      this.resetButton.UseVisualStyleBackColor = true;
      //
      // label1
      //
      this.label1.AutoSize = true;
      this.label1.Location = new System.Drawing.Point(3, 29);
      this.label1.Name = "label1";
      this.label1.Size = new System.Drawing.Size(50, 13);
      this.label1.TabIndex = 8;
      this.label1.Text = "Example:";
      //
      // exampleComboBox
      //
      this.exampleComboBox.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
            | System.Windows.Forms.AnchorStyles.Left)
            | System.Windows.Forms.AnchorStyles.Right)));
      this.exampleComboBox.FormattingEnabled = true;
      this.exampleComboBox.Location = new System.Drawing.Point(58, 26);
      this.exampleComboBox.Name = "exampleComboBox";
      this.exampleComboBox.Size = new System.Drawing.Size(890, 21);
      this.exampleComboBox.TabIndex = 9;
      //
      // tableLayoutPanel1
      //
      this.tableLayoutPanel1.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
            | System.Windows.Forms.AnchorStyles.Left)
            | System.Windows.Forms.AnchorStyles.Right)));
      this.tableLayoutPanel1.AutoScroll = true;
      this.tableLayoutPanel1.ColumnCount = 7;
      this.tableLayoutPanel1.ColumnStyles.Add(new System.Windows.Forms.ColumnStyle(System.Windows.Forms.SizeType.Absolute, 250F));
      this.tableLayoutPanel1.ColumnStyles.Add(new System.Windows.Forms.ColumnStyle(System.Windows.Forms.SizeType.Absolute, 250F));
      this.tableLayoutPanel1.ColumnStyles.Add(new System.Windows.Forms.ColumnStyle(System.Windows.Forms.SizeType.Absolute, 125F));
      this.tableLayoutPanel1.ColumnStyles.Add(new System.Windows.Forms.ColumnStyle(System.Windows.Forms.SizeType.Absolute, 125F));
      this.tableLayoutPanel1.ColumnStyles.Add(new System.Windows.Forms.ColumnStyle(System.Windows.Forms.SizeType.Absolute, 125F));
      this.tableLayoutPanel1.ColumnStyles.Add(new System.Windows.Forms.ColumnStyle(System.Windows.Forms.SizeType.Absolute, 125F));
      this.tableLayoutPanel1.ColumnStyles.Add(new System.Windows.Forms.ColumnStyle(System.Windows.Forms.SizeType.Absolute, 36F));
      this.tableLayoutPanel1.Controls.Add(this.codeGroupBox, 1, 0);
      this.tableLayoutPanel1.Controls.Add(this.nameGroupBox, 2, 0);
      this.tableLayoutPanel1.Controls.Add(this.integerGroupBox, 3, 0);
      this.tableLayoutPanel1.Controls.Add(this.floatGroupBox, 4, 0);
      this.tableLayoutPanel1.Controls.Add(this.booleanGroupBox, 5, 0);
      this.tableLayoutPanel1.Controls.Add(this.execGroupBox, 0, 0);
      this.tableLayoutPanel1.Location = new System.Drawing.Point(6, 53);
      this.tableLayoutPanel1.Name = "tableLayoutPanel1";
      this.tableLayoutPanel1.RowCount = 1;
      this.tableLayoutPanel1.RowStyles.Add(new System.Windows.Forms.RowStyle(System.Windows.Forms.SizeType.Percent, 100F));
      this.tableLayoutPanel1.Size = new System.Drawing.Size(1036, 639);
      this.tableLayoutPanel1.TabIndex = 1;
      //
      // stepWidthBox
      //
      this.stepWidthBox.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
      this.stepWidthBox.Font = new System.Drawing.Font("Microsoft Sans Serif", 11F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0)));
      this.stepWidthBox.Location = new System.Drawing.Point(73, 699);
      this.stepWidthBox.Maximum = new decimal(new int[] {
            99999,
            0,
            0,
            0});
      this.stepWidthBox.Minimum = new decimal(new int[] {
            1,
            0,
            0,
            0});
      this.stepWidthBox.Name = "stepWidthBox";
      this.stepWidthBox.Size = new System.Drawing.Size(40, 24);
      this.stepWidthBox.TabIndex = 2;
      this.stepWidthBox.Value = new decimal(new int[] {
            1,
            0,
            0,
            0});
      //
      // runButton
      //
      this.runButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
      this.runButton.Image = ((System.Drawing.Image)(resources.GetObject("runButton.Image")));
      this.runButton.Location = new System.Drawing.Point(40, 698);
      this.runButton.Name = "runButton";
      this.runButton.Size = new System.Drawing.Size(28, 26);
      this.runButton.TabIndex = 10;
      this.toolTip.SetToolTip(this.runButton, "Run all instructions");
      this.runButton.UseVisualStyleBackColor = true;
      //
      // PushProgramDebuggerView
      //
      this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
      this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
      this.Controls.Add(this.runButton);
      this.Controls.Add(this.stepWidthBox);
      this.Controls.Add(this.tableLayoutPanel1);
      this.Controls.Add(this.exampleComboBox);
      this.Controls.Add(this.label1);
      this.Controls.Add(this.resetButton);
      this.Controls.Add(this.stepButton);
      this.Name = "PushProgramDebuggerView";
      this.Size = new System.Drawing.Size(1058, 727);
      this.Controls.SetChildIndex(this.stepButton, 0);
      this.Controls.SetChildIndex(this.resetButton, 0);
      this.Controls.SetChildIndex(this.label1, 0);
      this.Controls.SetChildIndex(this.exampleComboBox, 0);
      this.Controls.SetChildIndex(this.tableLayoutPanel1, 0);
      this.Controls.SetChildIndex(this.nameLabel, 0);
      this.Controls.SetChildIndex(this.nameTextBox, 0);
      this.Controls.SetChildIndex(this.infoLabel, 0);
      this.Controls.SetChildIndex(this.stepWidthBox, 0);
      this.Controls.SetChildIndex(this.runButton, 0);
      ((System.ComponentModel.ISupportInitialize)(this.errorProvider)).EndInit();
      this.execGroupBox.ResumeLayout(false);
      this.integerGroupBox.ResumeLayout(false);
      this.floatGroupBox.ResumeLayout(false);
      this.codeGroupBox.ResumeLayout(false);
      this.booleanGroupBox.ResumeLayout(false);
      this.nameGroupBox.ResumeLayout(false);
      this.tableLayoutPanel1.ResumeLayout(false);
      ((System.ComponentModel.ISupportInitialize)(this.stepWidthBox)).EndInit();
      this.ResumeLayout(false);
      this.PerformLayout();

    }

    #endregion

    private System.Windows.Forms.GroupBox execGroupBox;
    private System.Windows.Forms.GroupBox integerGroupBox;
    private System.Windows.Forms.GroupBox floatGroupBox;
    private System.Windows.Forms.GroupBox codeGroupBox;
    private System.Windows.Forms.GroupBox booleanGroupBox;
    private System.Windows.Forms.GroupBox nameGroupBox;
    private System.Windows.Forms.ListBox execList;
    private System.Windows.Forms.ListBox integerList;
    private System.Windows.Forms.ListBox floatList;
    private System.Windows.Forms.ListBox codeList;
    private System.Windows.Forms.ListBox booleanList;
    private System.Windows.Forms.ListBox nameList;
    private System.Windows.Forms.Button stepButton;
    private System.Windows.Forms.Button resetButton;
    private System.Windows.Forms.Label label1;
    private System.Windows.Forms.ComboBox exampleComboBox;
    private System.Windows.Forms.TableLayoutPanel tableLayoutPanel1;
    private System.Windows.Forms.NumericUpDown stepWidthBox;
    private System.Windows.Forms.Button runButton;
  }
}