namespace HeuristicLab.Problems.ProgramSynthesis {
  partial class ErcOptionsView {
    /// <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() {
      this.PossibilityLabel = new System.Windows.Forms.Label();
      this.possibilityTextBox = new System.Windows.Forms.TextBox();
      this.ErcOptionListView = new CheckedErcItemCollectionView();
      ((System.ComponentModel.ISupportInitialize)(this.errorProvider)).BeginInit();
      this.SuspendLayout();
      //
      // nameTextBox
      //
      this.errorProvider.SetIconAlignment(this.nameTextBox, System.Windows.Forms.ErrorIconAlignment.MiddleLeft);
      this.errorProvider.SetIconPadding(this.nameTextBox, 2);
      this.nameTextBox.Location = new System.Drawing.Point(75, 0);
      this.nameTextBox.Size = new System.Drawing.Size(633, 20);
      //
      // infoLabel
      //
      this.infoLabel.Location = new System.Drawing.Point(714, 3);
      //
      // PossibilityLabel
      //
      this.PossibilityLabel.AutoSize = true;
      this.PossibilityLabel.Location = new System.Drawing.Point(5, 28);
      this.PossibilityLabel.Name = "PossibilityLabel";
      this.PossibilityLabel.Size = new System.Drawing.Size(55, 13);
      this.PossibilityLabel.TabIndex = 0;
      this.PossibilityLabel.Text = "Possibility:";
      //
      // possibilityTextBox
      //
      this.possibilityTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
            | System.Windows.Forms.AnchorStyles.Right)));
      this.possibilityTextBox.Location = new System.Drawing.Point(75, 25);
      this.possibilityTextBox.Name = "possibilityTextBox";
      this.possibilityTextBox.Size = new System.Drawing.Size(658, 20);
      this.possibilityTextBox.TabIndex = 2;
      //
      // ErcOptionListView
      //
      this.ErcOptionListView.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.ErcOptionListView.Caption = "View";
      this.ErcOptionListView.Content = null;
      this.ErcOptionListView.Location = new System.Drawing.Point(0, 51);
      this.ErcOptionListView.Name = "ErcOptionListView";
      this.ErcOptionListView.ReadOnly = false;
      this.ErcOptionListView.ShowDetails = true;
      this.ErcOptionListView.Size = new System.Drawing.Size(733, 434);
      this.ErcOptionListView.TabIndex = 3;
      //
      // ErcOptionsView
      //
      this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
      this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
      this.Controls.Add(this.ErcOptionListView);
      this.Controls.Add(this.possibilityTextBox);
      this.Controls.Add(this.PossibilityLabel);
      this.Name = "ErcOptionsView";
      this.Size = new System.Drawing.Size(733, 485);
      this.Controls.SetChildIndex(this.nameLabel, 0);
      this.Controls.SetChildIndex(this.nameTextBox, 0);
      this.Controls.SetChildIndex(this.infoLabel, 0);
      this.Controls.SetChildIndex(this.PossibilityLabel, 0);
      this.Controls.SetChildIndex(this.possibilityTextBox, 0);
      this.Controls.SetChildIndex(this.ErcOptionListView, 0);
      ((System.ComponentModel.ISupportInitialize)(this.errorProvider)).EndInit();
      this.ResumeLayout(false);
      this.PerformLayout();

    }

    #endregion

    private System.Windows.Forms.Label PossibilityLabel;
    private System.Windows.Forms.TextBox possibilityTextBox;
    private CheckedErcItemCollectionView ErcOptionListView;
  }
}