Free cookie consent management tool by TermsFeed Policy Generator

source: addons/HeuristicLab.PushGP/HeuristicLab.Problems.ProgramSynthesis/Push/Solution/BenchmarkSuite/BenchmarkSuitePushSolutionView.Designer.cs @ 16958

Last change on this file since 16958 was 15289, checked in by pkimmesw, 7 years ago

#2665 Fixed analyzer, fixed Plush encoding + operators, adpated print evaluation according to McPhee
File size: 10.6 KB
Line 
1namespace HeuristicLab.Problems.ProgramSynthesis.Push.Solution.BenchmarkSuite {
2  using HeuristicLab.Problems.ProgramSynthesis.Push.Views;
3
4  partial class BenchmarkSuitePushSolutionView {
5    /// <summary>
6    /// Required designer variable.
7    /// </summary>
8    private System.ComponentModel.IContainer components = null;
9
10    /// <summary>
11    /// Clean up any resources being used.
12    /// </summary>
13    /// <param name="disposing">true if managed resources should be disposed; otherwise, false.</param>
14    protected override void Dispose(bool disposing) {
15      if (disposing && (this.components != null)) {
16        this.components.Dispose();
17      }
18      base.Dispose(disposing);
19    }
20
21    #region Component Designer generated code
22
23    /// <summary>
24    /// Required method for Designer support - do not modify
25    /// the contents of this method with the code editor.
26    /// </summary>
27    private void InitializeComponent() {
28      System.Windows.Forms.DataGridViewCellStyle dataGridViewCellStyle1 = new System.Windows.Forms.DataGridViewCellStyle();
29      this.tabControl = new System.Windows.Forms.TabControl();
30      this.tabPage1 = new System.Windows.Forms.TabPage();
31      this.exampleComboBox = new System.Windows.Forms.ComboBox();
32      this.label1 = new System.Windows.Forms.Label();
33      this.tabPage2 = new System.Windows.Forms.TabPage();
34      this.trainingResultsDataGrid = new System.Windows.Forms.DataGridView();
35      this.tabPage3 = new System.Windows.Forms.TabPage();
36      this.testResultsDataGrid = new System.Windows.Forms.DataGridView();
37      this.pushDebugger = new HeuristicLab.Problems.ProgramSynthesis.Push.Views.PushDebuggerView();
38      ((System.ComponentModel.ISupportInitialize)(this.errorProvider)).BeginInit();
39      this.tabControl.SuspendLayout();
40      this.tabPage1.SuspendLayout();
41      this.tabPage2.SuspendLayout();
42      ((System.ComponentModel.ISupportInitialize)(this.trainingResultsDataGrid)).BeginInit();
43      this.tabPage3.SuspendLayout();
44      ((System.ComponentModel.ISupportInitialize)(this.testResultsDataGrid)).BeginInit();
45      this.SuspendLayout();
46      //
47      // nameTextBox
48      //
49      this.errorProvider.SetIconAlignment(this.nameTextBox, System.Windows.Forms.ErrorIconAlignment.MiddleLeft);
50      this.errorProvider.SetIconPadding(this.nameTextBox, 2);
51      this.nameTextBox.Size = new System.Drawing.Size(755, 20);
52      //
53      // infoLabel
54      //
55      this.infoLabel.Location = new System.Drawing.Point(838, 3);
56      //
57      // tabControl
58      //
59      this.tabControl.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
60            | System.Windows.Forms.AnchorStyles.Left)
61            | System.Windows.Forms.AnchorStyles.Right)));
62      this.tabControl.Controls.Add(this.tabPage1);
63      this.tabControl.Controls.Add(this.tabPage2);
64      this.tabControl.Controls.Add(this.tabPage3);
65      this.tabControl.Location = new System.Drawing.Point(6, 26);
66      this.tabControl.Name = "tabControl";
67      this.tabControl.SelectedIndex = 0;
68      this.tabControl.Size = new System.Drawing.Size(848, 602);
69      this.tabControl.TabIndex = 12;
70      //
71      // tabPage1
72      //
73      this.tabPage1.AutoScroll = true;
74      this.tabPage1.Controls.Add(this.pushDebugger);
75      this.tabPage1.Controls.Add(this.exampleComboBox);
76      this.tabPage1.Controls.Add(this.label1);
77      this.tabPage1.Location = new System.Drawing.Point(4, 22);
78      this.tabPage1.Name = "tabPage1";
79      this.tabPage1.Padding = new System.Windows.Forms.Padding(3);
80      this.tabPage1.Size = new System.Drawing.Size(840, 576);
81      this.tabPage1.TabIndex = 0;
82      this.tabPage1.Text = "Debug";
83      this.tabPage1.UseVisualStyleBackColor = true;
84      //
85      // exampleComboBox
86      //
87      this.exampleComboBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
88            | System.Windows.Forms.AnchorStyles.Right)));
89      this.exampleComboBox.FormattingEnabled = true;
90      this.exampleComboBox.Location = new System.Drawing.Point(58, 6);
91      this.exampleComboBox.Name = "exampleComboBox";
92      this.exampleComboBox.Size = new System.Drawing.Size(776, 21);
93      this.exampleComboBox.TabIndex = 11;
94      //
95      // label1
96      //
97      this.label1.AutoSize = true;
98      this.label1.Location = new System.Drawing.Point(3, 9);
99      this.label1.Name = "label1";
100      this.label1.Size = new System.Drawing.Size(50, 13);
101      this.label1.TabIndex = 10;
102      this.label1.Text = "Example:";
103      //
104      // tabPage2
105      //
106      this.tabPage2.Controls.Add(this.trainingResultsDataGrid);
107      this.tabPage2.Location = new System.Drawing.Point(4, 22);
108      this.tabPage2.Name = "tabPage2";
109      this.tabPage2.Padding = new System.Windows.Forms.Padding(3);
110      this.tabPage2.Size = new System.Drawing.Size(840, 576);
111      this.tabPage2.TabIndex = 1;
112      this.tabPage2.Text = "Traning Results";
113      this.tabPage2.UseVisualStyleBackColor = true;
114      //
115      // trainingResultsDataGrid
116      //
117      this.trainingResultsDataGrid.AllowUserToAddRows = false;
118      this.trainingResultsDataGrid.AllowUserToDeleteRows = false;
119      this.trainingResultsDataGrid.AutoSizeRowsMode = System.Windows.Forms.DataGridViewAutoSizeRowsMode.AllCells;
120      this.trainingResultsDataGrid.ColumnHeadersHeightSizeMode = System.Windows.Forms.DataGridViewColumnHeadersHeightSizeMode.AutoSize;
121      dataGridViewCellStyle1.Alignment = System.Windows.Forms.DataGridViewContentAlignment.MiddleLeft;
122      dataGridViewCellStyle1.BackColor = System.Drawing.SystemColors.Window;
123      dataGridViewCellStyle1.Font = new System.Drawing.Font("Microsoft Sans Serif", 8.25F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0)));
124      dataGridViewCellStyle1.ForeColor = System.Drawing.SystemColors.ControlText;
125      dataGridViewCellStyle1.SelectionBackColor = System.Drawing.SystemColors.Highlight;
126      dataGridViewCellStyle1.SelectionForeColor = System.Drawing.SystemColors.HighlightText;
127      dataGridViewCellStyle1.WrapMode = System.Windows.Forms.DataGridViewTriState.True;
128      this.trainingResultsDataGrid.DefaultCellStyle = dataGridViewCellStyle1;
129      this.trainingResultsDataGrid.Dock = System.Windows.Forms.DockStyle.Fill;
130      this.trainingResultsDataGrid.EditMode = System.Windows.Forms.DataGridViewEditMode.EditProgrammatically;
131      this.trainingResultsDataGrid.Location = new System.Drawing.Point(3, 3);
132      this.trainingResultsDataGrid.Name = "trainingResultsDataGrid";
133      this.trainingResultsDataGrid.ReadOnly = true;
134      this.trainingResultsDataGrid.RowHeadersWidthSizeMode = System.Windows.Forms.DataGridViewRowHeadersWidthSizeMode.AutoSizeToAllHeaders;
135      this.trainingResultsDataGrid.Size = new System.Drawing.Size(834, 570);
136      this.trainingResultsDataGrid.TabIndex = 0;
137      //
138      // tabPage3
139      //
140      this.tabPage3.Controls.Add(this.testResultsDataGrid);
141      this.tabPage3.Location = new System.Drawing.Point(4, 22);
142      this.tabPage3.Name = "tabPage3";
143      this.tabPage3.Size = new System.Drawing.Size(840, 576);
144      this.tabPage3.TabIndex = 2;
145      this.tabPage3.Text = "Test Results";
146      this.tabPage3.UseVisualStyleBackColor = true;
147      //
148      // testResultsDataGrid
149      //
150      this.testResultsDataGrid.AllowUserToAddRows = false;
151      this.testResultsDataGrid.AllowUserToDeleteRows = false;
152      this.testResultsDataGrid.AutoSizeRowsMode = System.Windows.Forms.DataGridViewAutoSizeRowsMode.AllHeaders;
153      this.testResultsDataGrid.ColumnHeadersHeightSizeMode = System.Windows.Forms.DataGridViewColumnHeadersHeightSizeMode.AutoSize;
154      this.testResultsDataGrid.Dock = System.Windows.Forms.DockStyle.Fill;
155      this.testResultsDataGrid.EditMode = System.Windows.Forms.DataGridViewEditMode.EditProgrammatically;
156      this.testResultsDataGrid.Location = new System.Drawing.Point(0, 0);
157      this.testResultsDataGrid.Name = "testResultsDataGrid";
158      this.testResultsDataGrid.ReadOnly = true;
159      this.testResultsDataGrid.RowHeadersWidthSizeMode = System.Windows.Forms.DataGridViewRowHeadersWidthSizeMode.AutoSizeToAllHeaders;
160      this.testResultsDataGrid.Size = new System.Drawing.Size(840, 576);
161      this.testResultsDataGrid.TabIndex = 1;
162      //
163      // pushDebugger
164      //
165      this.pushDebugger.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
166            | System.Windows.Forms.AnchorStyles.Left)
167            | System.Windows.Forms.AnchorStyles.Right)));
168      this.pushDebugger.Caption = "View";
169      this.pushDebugger.Content = null;
170      this.pushDebugger.Location = new System.Drawing.Point(6, 33);
171      this.pushDebugger.Name = "pushDebugger";
172      this.pushDebugger.ReadOnly = false;
173      this.pushDebugger.Size = new System.Drawing.Size(831, 540);
174      this.pushDebugger.TabIndex = 12;
175      //
176      // BenchmarkSuitePushSolutionView
177      //
178      this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
179      this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
180      this.Controls.Add(this.tabControl);
181      this.Name = "BenchmarkSuitePushSolutionView";
182      this.Size = new System.Drawing.Size(857, 631);
183      this.Controls.SetChildIndex(this.tabControl, 0);
184      this.Controls.SetChildIndex(this.nameLabel, 0);
185      this.Controls.SetChildIndex(this.nameTextBox, 0);
186      this.Controls.SetChildIndex(this.infoLabel, 0);
187      ((System.ComponentModel.ISupportInitialize)(this.errorProvider)).EndInit();
188      this.tabControl.ResumeLayout(false);
189      this.tabPage1.ResumeLayout(false);
190      this.tabPage1.PerformLayout();
191      this.tabPage2.ResumeLayout(false);
192      ((System.ComponentModel.ISupportInitialize)(this.trainingResultsDataGrid)).EndInit();
193      this.tabPage3.ResumeLayout(false);
194      ((System.ComponentModel.ISupportInitialize)(this.testResultsDataGrid)).EndInit();
195      this.ResumeLayout(false);
196      this.PerformLayout();
197
198    }
199
200    #endregion
201
202    private System.Windows.Forms.TabControl tabControl;
203    private System.Windows.Forms.TabPage tabPage1;
204    private System.Windows.Forms.ComboBox exampleComboBox;
205    private System.Windows.Forms.Label label1;
206    private System.Windows.Forms.TabPage tabPage2;
207    private System.Windows.Forms.DataGridView trainingResultsDataGrid;
208    private PushDebuggerView pushDebugger;
209    private System.Windows.Forms.TabPage tabPage3;
210    private System.Windows.Forms.DataGridView testResultsDataGrid;
211  }
212}
Note: See TracBrowser for help on using the repository browser.