namespace HeuristicLab.Problems.ProgramSynthesis.Push.Solution.BenchmarkSuite {
  using HeuristicLab.Problems.ProgramSynthesis.Views;

  partial class BenchmarkSuitePushSolutionView {
    /// <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 && (this.components != null)) {
        this.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.Windows.Forms.DataGridViewCellStyle dataGridViewCellStyle1 = new System.Windows.Forms.DataGridViewCellStyle();
      this.tabControl = new System.Windows.Forms.TabControl();
      this.tabPage1 = new System.Windows.Forms.TabPage();
      this.exampleComboBox = new System.Windows.Forms.ComboBox();
      this.label1 = new System.Windows.Forms.Label();
      this.tabPage2 = new System.Windows.Forms.TabPage();
      this.trainingResultsDataGrid = new System.Windows.Forms.DataGridView();
      this.tabPage3 = new System.Windows.Forms.TabPage();
      this.testResultsDataGrid = new System.Windows.Forms.DataGridView();
      this.pushDebugger = new HeuristicLab.Problems.ProgramSynthesis.Views.PushDebuggerView();
      ((System.ComponentModel.ISupportInitialize)(this.errorProvider)).BeginInit();
      this.tabControl.SuspendLayout();
      this.tabPage1.SuspendLayout();
      this.tabPage2.SuspendLayout();
      ((System.ComponentModel.ISupportInitialize)(this.trainingResultsDataGrid)).BeginInit();
      this.tabPage3.SuspendLayout();
      ((System.ComponentModel.ISupportInitialize)(this.testResultsDataGrid)).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(755, 20);
      //
      // infoLabel
      //
      this.infoLabel.Location = new System.Drawing.Point(838, 3);
      //
      // tabControl
      //
      this.tabControl.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.tabControl.Controls.Add(this.tabPage1);
      this.tabControl.Controls.Add(this.tabPage2);
      this.tabControl.Controls.Add(this.tabPage3);
      this.tabControl.Location = new System.Drawing.Point(6, 26);
      this.tabControl.Name = "tabControl";
      this.tabControl.SelectedIndex = 0;
      this.tabControl.Size = new System.Drawing.Size(848, 602);
      this.tabControl.TabIndex = 12;
      //
      // tabPage1
      //
      this.tabPage1.AutoScroll = true;
      this.tabPage1.Controls.Add(this.pushDebugger);
      this.tabPage1.Controls.Add(this.exampleComboBox);
      this.tabPage1.Controls.Add(this.label1);
      this.tabPage1.Location = new System.Drawing.Point(4, 22);
      this.tabPage1.Name = "tabPage1";
      this.tabPage1.Padding = new System.Windows.Forms.Padding(3);
      this.tabPage1.Size = new System.Drawing.Size(840, 576);
      this.tabPage1.TabIndex = 0;
      this.tabPage1.Text = "Debug";
      this.tabPage1.UseVisualStyleBackColor = true;
      //
      // exampleComboBox
      //
      this.exampleComboBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
            | System.Windows.Forms.AnchorStyles.Right)));
      this.exampleComboBox.FormattingEnabled = true;
      this.exampleComboBox.Location = new System.Drawing.Point(58, 6);
      this.exampleComboBox.Name = "exampleComboBox";
      this.exampleComboBox.Size = new System.Drawing.Size(776, 21);
      this.exampleComboBox.TabIndex = 11;
      //
      // label1
      //
      this.label1.AutoSize = true;
      this.label1.Location = new System.Drawing.Point(3, 9);
      this.label1.Name = "label1";
      this.label1.Size = new System.Drawing.Size(50, 13);
      this.label1.TabIndex = 10;
      this.label1.Text = "Example:";
      //
      // tabPage2
      //
      this.tabPage2.Controls.Add(this.trainingResultsDataGrid);
      this.tabPage2.Location = new System.Drawing.Point(4, 22);
      this.tabPage2.Name = "tabPage2";
      this.tabPage2.Padding = new System.Windows.Forms.Padding(3);
      this.tabPage2.Size = new System.Drawing.Size(840, 576);
      this.tabPage2.TabIndex = 1;
      this.tabPage2.Text = "Traning Results";
      this.tabPage2.UseVisualStyleBackColor = true;
      //
      // trainingResultsDataGrid
      //
      this.trainingResultsDataGrid.AllowUserToAddRows = false;
      this.trainingResultsDataGrid.AllowUserToDeleteRows = false;
      this.trainingResultsDataGrid.AutoSizeRowsMode = System.Windows.Forms.DataGridViewAutoSizeRowsMode.AllCells;
      this.trainingResultsDataGrid.ColumnHeadersHeightSizeMode = System.Windows.Forms.DataGridViewColumnHeadersHeightSizeMode.AutoSize;
      dataGridViewCellStyle1.Alignment = System.Windows.Forms.DataGridViewContentAlignment.MiddleLeft;
      dataGridViewCellStyle1.BackColor = System.Drawing.SystemColors.Window;
      dataGridViewCellStyle1.Font = new System.Drawing.Font("Microsoft Sans Serif", 8.25F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0)));
      dataGridViewCellStyle1.ForeColor = System.Drawing.SystemColors.ControlText;
      dataGridViewCellStyle1.SelectionBackColor = System.Drawing.SystemColors.Highlight;
      dataGridViewCellStyle1.SelectionForeColor = System.Drawing.SystemColors.HighlightText;
      dataGridViewCellStyle1.WrapMode = System.Windows.Forms.DataGridViewTriState.True;
      this.trainingResultsDataGrid.DefaultCellStyle = dataGridViewCellStyle1;
      this.trainingResultsDataGrid.Dock = System.Windows.Forms.DockStyle.Fill;
      this.trainingResultsDataGrid.EditMode = System.Windows.Forms.DataGridViewEditMode.EditProgrammatically;
      this.trainingResultsDataGrid.Location = new System.Drawing.Point(3, 3);
      this.trainingResultsDataGrid.Name = "trainingResultsDataGrid";
      this.trainingResultsDataGrid.ReadOnly = true;
      this.trainingResultsDataGrid.RowHeadersWidthSizeMode = System.Windows.Forms.DataGridViewRowHeadersWidthSizeMode.AutoSizeToAllHeaders;
      this.trainingResultsDataGrid.Size = new System.Drawing.Size(834, 570);
      this.trainingResultsDataGrid.TabIndex = 0;
      //
      // tabPage3
      //
      this.tabPage3.Controls.Add(this.testResultsDataGrid);
      this.tabPage3.Location = new System.Drawing.Point(4, 22);
      this.tabPage3.Name = "tabPage3";
      this.tabPage3.Size = new System.Drawing.Size(840, 576);
      this.tabPage3.TabIndex = 2;
      this.tabPage3.Text = "Test Results";
      this.tabPage3.UseVisualStyleBackColor = true;
      //
      // testResultsDataGrid
      //
      this.testResultsDataGrid.AllowUserToAddRows = false;
      this.testResultsDataGrid.AllowUserToDeleteRows = false;
      this.testResultsDataGrid.AutoSizeRowsMode = System.Windows.Forms.DataGridViewAutoSizeRowsMode.AllHeaders;
      this.testResultsDataGrid.ColumnHeadersHeightSizeMode = System.Windows.Forms.DataGridViewColumnHeadersHeightSizeMode.AutoSize;
      this.testResultsDataGrid.Dock = System.Windows.Forms.DockStyle.Fill;
      this.testResultsDataGrid.EditMode = System.Windows.Forms.DataGridViewEditMode.EditProgrammatically;
      this.testResultsDataGrid.Location = new System.Drawing.Point(0, 0);
      this.testResultsDataGrid.Name = "testResultsDataGrid";
      this.testResultsDataGrid.ReadOnly = true;
      this.testResultsDataGrid.RowHeadersWidthSizeMode = System.Windows.Forms.DataGridViewRowHeadersWidthSizeMode.AutoSizeToAllHeaders;
      this.testResultsDataGrid.Size = new System.Drawing.Size(840, 576);
      this.testResultsDataGrid.TabIndex = 1;
      //
      // pushDebugger
      //
      this.pushDebugger.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.pushDebugger.Caption = "View";
      this.pushDebugger.Content = null;
      this.pushDebugger.Location = new System.Drawing.Point(6, 33);
      this.pushDebugger.Name = "pushDebugger";
      this.pushDebugger.ReadOnly = false;
      this.pushDebugger.Size = new System.Drawing.Size(831, 540);
      this.pushDebugger.TabIndex = 12;
      //
      // BenchmarkSuitePushSolutionView
      //
      this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
      this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
      this.Controls.Add(this.tabControl);
      this.Name = "BenchmarkSuitePushSolutionView";
      this.Size = new System.Drawing.Size(857, 631);
      this.Controls.SetChildIndex(this.tabControl, 0);
      this.Controls.SetChildIndex(this.nameLabel, 0);
      this.Controls.SetChildIndex(this.nameTextBox, 0);
      this.Controls.SetChildIndex(this.infoLabel, 0);
      ((System.ComponentModel.ISupportInitialize)(this.errorProvider)).EndInit();
      this.tabControl.ResumeLayout(false);
      this.tabPage1.ResumeLayout(false);
      this.tabPage1.PerformLayout();
      this.tabPage2.ResumeLayout(false);
      ((System.ComponentModel.ISupportInitialize)(this.trainingResultsDataGrid)).EndInit();
      this.tabPage3.ResumeLayout(false);
      ((System.ComponentModel.ISupportInitialize)(this.testResultsDataGrid)).EndInit();
      this.ResumeLayout(false);
      this.PerformLayout();

    }

    #endregion

    private System.Windows.Forms.TabControl tabControl;
    private System.Windows.Forms.TabPage tabPage1;
    private System.Windows.Forms.ComboBox exampleComboBox;
    private System.Windows.Forms.Label label1;
    private System.Windows.Forms.TabPage tabPage2;
    private System.Windows.Forms.DataGridView trainingResultsDataGrid;
    private PushDebuggerView pushDebugger;
    private System.Windows.Forms.TabPage tabPage3;
    private System.Windows.Forms.DataGridView testResultsDataGrid;
  }
}