source: trunk/sources/HeuristicLab.ES/ESEditor.Designer.cs @ 1112

Last change on this file since 1112 was 1112, checked in by abeham, 11 years ago

Updated ES to automatically calculate LearningRate parameters based on the problem dimension (ticket #84)

File size: 89.7 KB
Line 
1#region License Information
2/* HeuristicLab
3 * Copyright (C) 2002-2008 Heuristic and Evolutionary Algorithms Laboratory (HEAL)
4 *
5 * This file is part of HeuristicLab.
6 *
7 * HeuristicLab is free software: you can redistribute it and/or modify
8 * it under the terms of the GNU General Public License as published by
9 * the Free Software Foundation, either version 3 of the License, or
10 * (at your option) any later version.
11 *
12 * HeuristicLab is distributed in the hope that it will be useful,
13 * but WITHOUT ANY WARRANTY; without even the implied warranty of
14 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
15 * GNU General Public License for more details.
16 *
17 * You should have received a copy of the GNU General Public License
18 * along with HeuristicLab. If not, see <http://www.gnu.org/licenses/>.
19 */
20#endregion
21
22namespace HeuristicLab.ES {
23  partial class ESEditor {
24    /// <summary>
25    /// Required designer variable.
26    /// </summary>
27    private System.ComponentModel.IContainer components = null;
28
29    /// <summary>
30    /// Clean up any resources being used.
31    /// </summary>
32    /// <param name="disposing">true if managed resources should be disposed; otherwise, false.</param>
33    protected override void Dispose(bool disposing) {
34      if (chooseOperatorDialog != null) chooseOperatorDialog.Dispose();
35      if (disposing && (components != null)) {
36        components.Dispose();
37      }
38      base.Dispose(disposing);
39    }
40
41    #region Component Designer generated code
42
43    /// <summary>
44    /// Required method for Designer support - do not modify
45    /// the contents of this method with the code editor.
46    /// </summary>
47    private void InitializeComponent() {
48      this.components = new System.ComponentModel.Container();
49      System.ComponentModel.ComponentResourceManager resources = new System.ComponentModel.ComponentResourceManager(typeof(ESEditor));
50      this.executeButton = new System.Windows.Forms.Button();
51      this.tabControl = new System.Windows.Forms.TabControl();
52      this.parametersTabPage = new System.Windows.Forms.TabPage();
53      this.successRuleGroupBox = new System.Windows.Forms.GroupBox();
54      this.learningRateTextBox = new System.Windows.Forms.TextBox();
55      this.label1 = new System.Windows.Forms.Label();
56      this.generalLearningRateTextBox = new System.Windows.Forms.TextBox();
57      this.targetSuccessRateLabel = new System.Windows.Forms.Label();
58      this.label8 = new System.Windows.Forms.Label();
59      this.label7 = new System.Windows.Forms.Label();
60      this.parentSelectionGroupBox = new System.Windows.Forms.GroupBox();
61      this.commaRadioButton = new System.Windows.Forms.RadioButton();
62      this.plusRadioButton = new System.Windows.Forms.RadioButton();
63      this.setRecombinationButton = new System.Windows.Forms.Button();
64      this.viewRecombinationButton = new System.Windows.Forms.Button();
65      this.recombinationTextBox = new System.Windows.Forms.TextBox();
66      this.recombinationLabel = new System.Windows.Forms.Label();
67      this.rhoTextBox = new System.Windows.Forms.TextBox();
68      this.rhoLabel = new System.Windows.Forms.Label();
69      this.setEvaluationButton = new System.Windows.Forms.Button();
70      this.setMutationButton = new System.Windows.Forms.Button();
71      this.setSolutionGenerationButton = new System.Windows.Forms.Button();
72      this.viewEvaluationButton = new System.Windows.Forms.Button();
73      this.viewMutationButton = new System.Windows.Forms.Button();
74      this.viewSolutionGenerationButton = new System.Windows.Forms.Button();
75      this.viewProblemInitializationButton = new System.Windows.Forms.Button();
76      this.setProblemInitializationButton = new System.Windows.Forms.Button();
77      this.evaluationTextBox = new System.Windows.Forms.TextBox();
78      this.mutationTextBox = new System.Windows.Forms.TextBox();
79      this.solutionGenerationTextBox = new System.Windows.Forms.TextBox();
80      this.problemInitializationTextBox = new System.Windows.Forms.TextBox();
81      this.setRandomSeedRandomlyCheckBox = new System.Windows.Forms.CheckBox();
82      this.problemDimensionTextBox = new System.Windows.Forms.TextBox();
83      this.initialMutationStrengthVectorTextBox = new System.Windows.Forms.TextBox();
84      this.evaluationLabel = new System.Windows.Forms.Label();
85      this.mutationLabel = new System.Windows.Forms.Label();
86      this.solutionGenerationLabel = new System.Windows.Forms.Label();
87      this.problemInitializationLabel = new System.Windows.Forms.Label();
88      this.problemDimensionLabel = new System.Windows.Forms.Label();
89      this.initialMutationStrengthLabel = new System.Windows.Forms.Label();
90      this.mutationRateLabel = new System.Windows.Forms.Label();
91      this.maximumGenerationsTextBox = new System.Windows.Forms.TextBox();
92      this.maximumGenerationsLabel = new System.Windows.Forms.Label();
93      this.randomSeedTextBox = new System.Windows.Forms.TextBox();
94      this.muTextBox = new System.Windows.Forms.TextBox();
95      this.setRandomSeedRandomlyLabel = new System.Windows.Forms.Label();
96      this.randomSeedLabel = new System.Windows.Forms.Label();
97      this.label6 = new System.Windows.Forms.Label();
98      this.label5 = new System.Windows.Forms.Label();
99      this.label4 = new System.Windows.Forms.Label();
100      this.label3 = new System.Windows.Forms.Label();
101      this.label2 = new System.Windows.Forms.Label();
102      this.populationSizeLabel = new System.Windows.Forms.Label();
103      this.lambdaTextBox = new System.Windows.Forms.TextBox();
104      this.scopesTabPage = new System.Windows.Forms.TabPage();
105      this.scopeView = new HeuristicLab.Core.ScopeView();
106      this.abortButton = new System.Windows.Forms.Button();
107      this.resetButton = new System.Windows.Forms.Button();
108      this.cloneEngineButton = new System.Windows.Forms.Button();
109      this.toolTip = new System.Windows.Forms.ToolTip(this.components);
110      this.tabControl.SuspendLayout();
111      this.parametersTabPage.SuspendLayout();
112      this.successRuleGroupBox.SuspendLayout();
113      this.parentSelectionGroupBox.SuspendLayout();
114      this.scopesTabPage.SuspendLayout();
115      this.SuspendLayout();
116      //
117      // executeButton
118      //
119      this.executeButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
120      this.executeButton.Location = new System.Drawing.Point(0, 527);
121      this.executeButton.Name = "executeButton";
122      this.executeButton.Size = new System.Drawing.Size(75, 23);
123      this.executeButton.TabIndex = 1;
124      this.executeButton.Text = "&Execute";
125      this.executeButton.UseVisualStyleBackColor = true;
126      this.executeButton.Click += new System.EventHandler(this.executeButton_Click);
127      //
128      // tabControl
129      //
130      this.tabControl.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
131                  | System.Windows.Forms.AnchorStyles.Left)
132                  | System.Windows.Forms.AnchorStyles.Right)));
133      this.tabControl.Controls.Add(this.parametersTabPage);
134      this.tabControl.Controls.Add(this.scopesTabPage);
135      this.tabControl.Location = new System.Drawing.Point(0, 0);
136      this.tabControl.Name = "tabControl";
137      this.tabControl.SelectedIndex = 0;
138      this.tabControl.Size = new System.Drawing.Size(501, 521);
139      this.tabControl.TabIndex = 0;
140      //
141      // parametersTabPage
142      //
143      this.parametersTabPage.Controls.Add(this.successRuleGroupBox);
144      this.parametersTabPage.Controls.Add(this.parentSelectionGroupBox);
145      this.parametersTabPage.Controls.Add(this.setRecombinationButton);
146      this.parametersTabPage.Controls.Add(this.viewRecombinationButton);
147      this.parametersTabPage.Controls.Add(this.recombinationTextBox);
148      this.parametersTabPage.Controls.Add(this.recombinationLabel);
149      this.parametersTabPage.Controls.Add(this.rhoTextBox);
150      this.parametersTabPage.Controls.Add(this.rhoLabel);
151      this.parametersTabPage.Controls.Add(this.setEvaluationButton);
152      this.parametersTabPage.Controls.Add(this.setMutationButton);
153      this.parametersTabPage.Controls.Add(this.setSolutionGenerationButton);
154      this.parametersTabPage.Controls.Add(this.viewEvaluationButton);
155      this.parametersTabPage.Controls.Add(this.viewMutationButton);
156      this.parametersTabPage.Controls.Add(this.viewSolutionGenerationButton);
157      this.parametersTabPage.Controls.Add(this.viewProblemInitializationButton);
158      this.parametersTabPage.Controls.Add(this.setProblemInitializationButton);
159      this.parametersTabPage.Controls.Add(this.evaluationTextBox);
160      this.parametersTabPage.Controls.Add(this.mutationTextBox);
161      this.parametersTabPage.Controls.Add(this.solutionGenerationTextBox);
162      this.parametersTabPage.Controls.Add(this.problemInitializationTextBox);
163      this.parametersTabPage.Controls.Add(this.setRandomSeedRandomlyCheckBox);
164      this.parametersTabPage.Controls.Add(this.problemDimensionTextBox);
165      this.parametersTabPage.Controls.Add(this.initialMutationStrengthVectorTextBox);
166      this.parametersTabPage.Controls.Add(this.evaluationLabel);
167      this.parametersTabPage.Controls.Add(this.mutationLabel);
168      this.parametersTabPage.Controls.Add(this.solutionGenerationLabel);
169      this.parametersTabPage.Controls.Add(this.problemInitializationLabel);
170      this.parametersTabPage.Controls.Add(this.problemDimensionLabel);
171      this.parametersTabPage.Controls.Add(this.initialMutationStrengthLabel);
172      this.parametersTabPage.Controls.Add(this.mutationRateLabel);
173      this.parametersTabPage.Controls.Add(this.maximumGenerationsTextBox);
174      this.parametersTabPage.Controls.Add(this.maximumGenerationsLabel);
175      this.parametersTabPage.Controls.Add(this.randomSeedTextBox);
176      this.parametersTabPage.Controls.Add(this.muTextBox);
177      this.parametersTabPage.Controls.Add(this.setRandomSeedRandomlyLabel);
178      this.parametersTabPage.Controls.Add(this.randomSeedLabel);
179      this.parametersTabPage.Controls.Add(this.label6);
180      this.parametersTabPage.Controls.Add(this.label5);
181      this.parametersTabPage.Controls.Add(this.label4);
182      this.parametersTabPage.Controls.Add(this.label3);
183      this.parametersTabPage.Controls.Add(this.label2);
184      this.parametersTabPage.Controls.Add(this.populationSizeLabel);
185      this.parametersTabPage.Controls.Add(this.lambdaTextBox);
186      this.parametersTabPage.Location = new System.Drawing.Point(4, 22);
187      this.parametersTabPage.Name = "parametersTabPage";
188      this.parametersTabPage.Padding = new System.Windows.Forms.Padding(3);
189      this.parametersTabPage.Size = new System.Drawing.Size(493, 495);
190      this.parametersTabPage.TabIndex = 0;
191      this.parametersTabPage.Text = "Parameters";
192      this.parametersTabPage.UseVisualStyleBackColor = true;
193      //
194      // successRuleGroupBox
195      //
196      this.successRuleGroupBox.Anchor = System.Windows.Forms.AnchorStyles.None;
197      this.successRuleGroupBox.Controls.Add(this.learningRateTextBox);
198      this.successRuleGroupBox.Controls.Add(this.label1);
199      this.successRuleGroupBox.Controls.Add(this.generalLearningRateTextBox);
200      this.successRuleGroupBox.Controls.Add(this.targetSuccessRateLabel);
201      this.successRuleGroupBox.Controls.Add(this.label8);
202      this.successRuleGroupBox.Controls.Add(this.label7);
203      this.successRuleGroupBox.Location = new System.Drawing.Point(9, 230);
204      this.successRuleGroupBox.Name = "successRuleGroupBox";
205      this.successRuleGroupBox.Size = new System.Drawing.Size(476, 74);
206      this.successRuleGroupBox.TabIndex = 40;
207      this.successRuleGroupBox.TabStop = false;
208      this.successRuleGroupBox.Text = "Mutation Strength Adjustment";
209      //
210      // learningRateTextBox
211      //
212      this.learningRateTextBox.Anchor = System.Windows.Forms.AnchorStyles.Top;
213      this.learningRateTextBox.Location = new System.Drawing.Point(159, 45);
214      this.learningRateTextBox.Name = "learningRateTextBox";
215      this.learningRateTextBox.Size = new System.Drawing.Size(186, 20);
216      this.learningRateTextBox.TabIndex = 17;
217      this.toolTip.SetToolTip(this.learningRateTextBox, @"Automatically updates when Problem Dimension (dim) is changed.
218The used formula is: tau = 1 / Sqrt(2*Sqrt(dim))");
219      //
220      // label1
221      //
222      this.label1.Anchor = System.Windows.Forms.AnchorStyles.Top;
223      this.label1.AutoSize = true;
224      this.label1.Location = new System.Drawing.Point(7, 48);
225      this.label1.Name = "label1";
226      this.label1.Size = new System.Drawing.Size(92, 13);
227      this.label1.TabIndex = 16;
228      this.label1.Text = "Learning Rate (τ):";
229      //
230      // generalLearningRateTextBox
231      //
232      this.generalLearningRateTextBox.Anchor = System.Windows.Forms.AnchorStyles.Top;
233      this.generalLearningRateTextBox.Location = new System.Drawing.Point(159, 19);
234      this.generalLearningRateTextBox.Name = "generalLearningRateTextBox";
235      this.generalLearningRateTextBox.Size = new System.Drawing.Size(186, 20);
236      this.generalLearningRateTextBox.TabIndex = 15;
237      this.toolTip.SetToolTip(this.generalLearningRateTextBox, @"Automatically updates when Problem Dimension (dim) is changed.
238The used formula is: tau0 = 1 / Sqrt(2*dim)");
239      //
240      // targetSuccessRateLabel
241      //
242      this.targetSuccessRateLabel.Anchor = System.Windows.Forms.AnchorStyles.Top;
243      this.targetSuccessRateLabel.AutoSize = true;
244      this.targetSuccessRateLabel.Location = new System.Drawing.Point(7, 22);
245      this.targetSuccessRateLabel.Name = "targetSuccessRateLabel";
246      this.targetSuccessRateLabel.Size = new System.Drawing.Size(138, 13);
247      this.targetSuccessRateLabel.TabIndex = 14;
248      this.targetSuccessRateLabel.Text = "General Learning Rate (τ0):";
249      //
250      // label8
251      //
252      this.label8.Anchor = System.Windows.Forms.AnchorStyles.None;
253      this.label8.AutoSize = true;
254      this.label8.Location = new System.Drawing.Point(348, 48);
255      this.label8.Name = "label8";
256      this.label8.Size = new System.Drawing.Size(77, 13);
257      this.label8.TabIndex = 4;
258      this.label8.Text = "(LearningRate)";
259      //
260      // label7
261      //
262      this.label7.Anchor = System.Windows.Forms.AnchorStyles.None;
263      this.label7.AutoSize = true;
264      this.label7.Location = new System.Drawing.Point(348, 22);
265      this.label7.Name = "label7";
266      this.label7.Size = new System.Drawing.Size(114, 13);
267      this.label7.TabIndex = 4;
268      this.label7.Text = "(GeneralLearningRate)";
269      //
270      // parentSelectionGroupBox
271      //
272      this.parentSelectionGroupBox.Anchor = System.Windows.Forms.AnchorStyles.None;
273      this.parentSelectionGroupBox.Controls.Add(this.commaRadioButton);
274      this.parentSelectionGroupBox.Controls.Add(this.plusRadioButton);
275      this.parentSelectionGroupBox.Location = new System.Drawing.Point(168, 310);
276      this.parentSelectionGroupBox.Name = "parentSelectionGroupBox";
277      this.parentSelectionGroupBox.Size = new System.Drawing.Size(186, 38);
278      this.parentSelectionGroupBox.TabIndex = 39;
279      this.parentSelectionGroupBox.TabStop = false;
280      this.parentSelectionGroupBox.Text = "Parent Selection";
281      //
282      // commaRadioButton
283      //
284      this.commaRadioButton.AutoSize = true;
285      this.commaRadioButton.Location = new System.Drawing.Point(57, 15);
286      this.commaRadioButton.Name = "commaRadioButton";
287      this.commaRadioButton.Size = new System.Drawing.Size(60, 17);
288      this.commaRadioButton.TabIndex = 1;
289      this.commaRadioButton.Text = "Comma";
290      this.commaRadioButton.UseVisualStyleBackColor = true;
291      this.commaRadioButton.CheckedChanged += new System.EventHandler(this.commaRadioButton_CheckedChanged);
292      //
293      // plusRadioButton
294      //
295      this.plusRadioButton.AutoSize = true;
296      this.plusRadioButton.Checked = true;
297      this.plusRadioButton.Location = new System.Drawing.Point(6, 15);
298      this.plusRadioButton.Name = "plusRadioButton";
299      this.plusRadioButton.Size = new System.Drawing.Size(45, 17);
300      this.plusRadioButton.TabIndex = 0;
301      this.plusRadioButton.TabStop = true;
302      this.plusRadioButton.Text = "Plus";
303      this.plusRadioButton.UseVisualStyleBackColor = true;
304      this.plusRadioButton.CheckedChanged += new System.EventHandler(this.plusRadioButton_CheckedChanged);
305      //
306      // setRecombinationButton
307      //
308      this.setRecombinationButton.Anchor = System.Windows.Forms.AnchorStyles.None;
309      this.setRecombinationButton.Location = new System.Drawing.Point(419, 458);
310      this.setRecombinationButton.Name = "setRecombinationButton";
311      this.setRecombinationButton.Size = new System.Drawing.Size(43, 20);
312      this.setRecombinationButton.TabIndex = 38;
313      this.setRecombinationButton.Text = "Set...";
314      this.setRecombinationButton.UseVisualStyleBackColor = true;
315      this.setRecombinationButton.Click += new System.EventHandler(this.setRecombinationButton_Click);
316      //
317      // viewRecombinationButton
318      //
319      this.viewRecombinationButton.Anchor = System.Windows.Forms.AnchorStyles.None;
320      this.viewRecombinationButton.Location = new System.Drawing.Point(360, 458);
321      this.viewRecombinationButton.Name = "viewRecombinationButton";
322      this.viewRecombinationButton.Size = new System.Drawing.Size(53, 20);
323      this.viewRecombinationButton.TabIndex = 37;
324      this.viewRecombinationButton.Text = "View...";
325      this.viewRecombinationButton.UseVisualStyleBackColor = true;
326      this.viewRecombinationButton.Click += new System.EventHandler(this.viewRecombinationButton_Click);
327      //
328      // recombinationTextBox
329      //
330      this.recombinationTextBox.Anchor = System.Windows.Forms.AnchorStyles.None;
331      this.recombinationTextBox.Location = new System.Drawing.Point(168, 458);
332      this.recombinationTextBox.Name = "recombinationTextBox";
333      this.recombinationTextBox.ReadOnly = true;
334      this.recombinationTextBox.Size = new System.Drawing.Size(186, 20);
335      this.recombinationTextBox.TabIndex = 36;
336      //
337      // recombinationLabel
338      //
339      this.recombinationLabel.Anchor = System.Windows.Forms.AnchorStyles.None;
340      this.recombinationLabel.AutoSize = true;
341      this.recombinationLabel.Location = new System.Drawing.Point(6, 461);
342      this.recombinationLabel.Name = "recombinationLabel";
343      this.recombinationLabel.Size = new System.Drawing.Size(81, 13);
344      this.recombinationLabel.TabIndex = 35;
345      this.recombinationLabel.Text = "Recombination:";
346      //
347      // rhoTextBox
348      //
349      this.rhoTextBox.Anchor = System.Windows.Forms.AnchorStyles.None;
350      this.rhoTextBox.Location = new System.Drawing.Point(168, 94);
351      this.rhoTextBox.Name = "rhoTextBox";
352      this.rhoTextBox.Size = new System.Drawing.Size(186, 20);
353      this.rhoTextBox.TabIndex = 7;
354      //
355      // rhoLabel
356      //
357      this.rhoLabel.Anchor = System.Windows.Forms.AnchorStyles.None;
358      this.rhoLabel.AutoSize = true;
359      this.rhoLabel.Font = new System.Drawing.Font("Microsoft Sans Serif", 8.25F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0)));
360      this.rhoLabel.Location = new System.Drawing.Point(6, 97);
361      this.rhoLabel.Name = "rhoLabel";
362      this.rhoLabel.Size = new System.Drawing.Size(45, 13);
363      this.rhoLabel.TabIndex = 6;
364      this.rhoLabel.Text = "Rho (ρ):";
365      //
366      // setEvaluationButton
367      //
368      this.setEvaluationButton.Anchor = System.Windows.Forms.AnchorStyles.None;
369      this.setEvaluationButton.Location = new System.Drawing.Point(419, 432);
370      this.setEvaluationButton.Name = "setEvaluationButton";
371      this.setEvaluationButton.Size = new System.Drawing.Size(43, 20);
372      this.setEvaluationButton.TabIndex = 34;
373      this.setEvaluationButton.Text = "Set...";
374      this.setEvaluationButton.UseVisualStyleBackColor = true;
375      this.setEvaluationButton.Click += new System.EventHandler(this.setEvaluationButton_Click);
376      //
377      // setMutationButton
378      //
379      this.setMutationButton.Anchor = System.Windows.Forms.AnchorStyles.None;
380      this.setMutationButton.Location = new System.Drawing.Point(419, 406);
381      this.setMutationButton.Name = "setMutationButton";
382      this.setMutationButton.Size = new System.Drawing.Size(43, 20);
383      this.setMutationButton.TabIndex = 30;
384      this.setMutationButton.Text = "Set...";
385      this.setMutationButton.UseVisualStyleBackColor = true;
386      this.setMutationButton.Click += new System.EventHandler(this.setMutationButton_Click);
387      //
388      // setSolutionGenerationButton
389      //
390      this.setSolutionGenerationButton.Anchor = System.Windows.Forms.AnchorStyles.None;
391      this.setSolutionGenerationButton.Location = new System.Drawing.Point(419, 380);
392      this.setSolutionGenerationButton.Name = "setSolutionGenerationButton";
393      this.setSolutionGenerationButton.Size = new System.Drawing.Size(43, 20);
394      this.setSolutionGenerationButton.TabIndex = 26;
395      this.setSolutionGenerationButton.Text = "Set...";
396      this.setSolutionGenerationButton.UseVisualStyleBackColor = true;
397      this.setSolutionGenerationButton.Click += new System.EventHandler(this.setSolutionGenerationButton_Click);
398      //
399      // viewEvaluationButton
400      //
401      this.viewEvaluationButton.Anchor = System.Windows.Forms.AnchorStyles.None;
402      this.viewEvaluationButton.Location = new System.Drawing.Point(360, 432);
403      this.viewEvaluationButton.Name = "viewEvaluationButton";
404      this.viewEvaluationButton.Size = new System.Drawing.Size(53, 20);
405      this.viewEvaluationButton.TabIndex = 33;
406      this.viewEvaluationButton.Text = "View...";
407      this.viewEvaluationButton.UseVisualStyleBackColor = true;
408      this.viewEvaluationButton.Click += new System.EventHandler(this.viewEvaluationButton_Click);
409      //
410      // viewMutationButton
411      //
412      this.viewMutationButton.Anchor = System.Windows.Forms.AnchorStyles.None;
413      this.viewMutationButton.Location = new System.Drawing.Point(360, 406);
414      this.viewMutationButton.Name = "viewMutationButton";
415      this.viewMutationButton.Size = new System.Drawing.Size(53, 20);
416      this.viewMutationButton.TabIndex = 29;
417      this.viewMutationButton.Text = "View...";
418      this.viewMutationButton.UseVisualStyleBackColor = true;
419      this.viewMutationButton.Click += new System.EventHandler(this.viewMutationButton_Click);
420      //
421      // viewSolutionGenerationButton
422      //
423      this.viewSolutionGenerationButton.Anchor = System.Windows.Forms.AnchorStyles.None;
424      this.viewSolutionGenerationButton.Location = new System.Drawing.Point(360, 380);
425      this.viewSolutionGenerationButton.Name = "viewSolutionGenerationButton";
426      this.viewSolutionGenerationButton.Size = new System.Drawing.Size(53, 20);
427      this.viewSolutionGenerationButton.TabIndex = 25;
428      this.viewSolutionGenerationButton.Text = "View...";
429      this.viewSolutionGenerationButton.UseVisualStyleBackColor = true;
430      this.viewSolutionGenerationButton.Click += new System.EventHandler(this.viewSolutionGenerationButton_Click);
431      //
432      // viewProblemInitializationButton
433      //
434      this.viewProblemInitializationButton.Anchor = System.Windows.Forms.AnchorStyles.None;
435      this.viewProblemInitializationButton.Location = new System.Drawing.Point(360, 354);
436      this.viewProblemInitializationButton.Name = "viewProblemInitializationButton";
437      this.viewProblemInitializationButton.Size = new System.Drawing.Size(53, 20);
438      this.viewProblemInitializationButton.TabIndex = 21;
439      this.viewProblemInitializationButton.Text = "View...";
440      this.viewProblemInitializationButton.UseVisualStyleBackColor = true;
441      this.viewProblemInitializationButton.Click += new System.EventHandler(this.viewProblemInitializationButton_Click);
442      //
443      // setProblemInitializationButton
444      //
445      this.setProblemInitializationButton.Anchor = System.Windows.Forms.AnchorStyles.None;
446      this.setProblemInitializationButton.Location = new System.Drawing.Point(419, 354);
447      this.setProblemInitializationButton.Name = "setProblemInitializationButton";
448      this.setProblemInitializationButton.Size = new System.Drawing.Size(43, 20);
449      this.setProblemInitializationButton.TabIndex = 22;
450      this.setProblemInitializationButton.Text = "Set...";
451      this.setProblemInitializationButton.UseVisualStyleBackColor = true;
452      this.setProblemInitializationButton.Click += new System.EventHandler(this.setProblemInitializationButton_Click);
453      //
454      // evaluationTextBox
455      //
456      this.evaluationTextBox.Anchor = System.Windows.Forms.AnchorStyles.None;
457      this.evaluationTextBox.Location = new System.Drawing.Point(168, 432);
458      this.evaluationTextBox.Name = "evaluationTextBox";
459      this.evaluationTextBox.ReadOnly = true;
460      this.evaluationTextBox.Size = new System.Drawing.Size(186, 20);
461      this.evaluationTextBox.TabIndex = 32;
462      //
463      // mutationTextBox
464      //
465      this.mutationTextBox.Anchor = System.Windows.Forms.AnchorStyles.None;
466      this.mutationTextBox.Location = new System.Drawing.Point(168, 406);
467      this.mutationTextBox.Name = "mutationTextBox";
468      this.mutationTextBox.ReadOnly = true;
469      this.mutationTextBox.Size = new System.Drawing.Size(186, 20);
470      this.mutationTextBox.TabIndex = 28;
471      //
472      // solutionGenerationTextBox
473      //
474      this.solutionGenerationTextBox.Anchor = System.Windows.Forms.AnchorStyles.None;
475      this.solutionGenerationTextBox.Location = new System.Drawing.Point(168, 380);
476      this.solutionGenerationTextBox.Name = "solutionGenerationTextBox";
477      this.solutionGenerationTextBox.ReadOnly = true;
478      this.solutionGenerationTextBox.Size = new System.Drawing.Size(186, 20);
479      this.solutionGenerationTextBox.TabIndex = 24;
480      //
481      // problemInitializationTextBox
482      //
483      this.problemInitializationTextBox.Anchor = System.Windows.Forms.AnchorStyles.None;
484      this.problemInitializationTextBox.Location = new System.Drawing.Point(168, 354);
485      this.problemInitializationTextBox.Name = "problemInitializationTextBox";
486      this.problemInitializationTextBox.ReadOnly = true;
487      this.problemInitializationTextBox.Size = new System.Drawing.Size(186, 20);
488      this.problemInitializationTextBox.TabIndex = 20;
489      //
490      // setRandomSeedRandomlyCheckBox
491      //
492      this.setRandomSeedRandomlyCheckBox.Anchor = System.Windows.Forms.AnchorStyles.None;
493      this.setRandomSeedRandomlyCheckBox.AutoSize = true;
494      this.setRandomSeedRandomlyCheckBox.Location = new System.Drawing.Point(168, 12);
495      this.setRandomSeedRandomlyCheckBox.Name = "setRandomSeedRandomlyCheckBox";
496      this.setRandomSeedRandomlyCheckBox.Size = new System.Drawing.Size(15, 14);
497      this.setRandomSeedRandomlyCheckBox.TabIndex = 1;
498      this.setRandomSeedRandomlyCheckBox.UseVisualStyleBackColor = true;
499      //
500      // problemDimensionTextBox
501      //
502      this.problemDimensionTextBox.Anchor = System.Windows.Forms.AnchorStyles.None;
503      this.problemDimensionTextBox.Location = new System.Drawing.Point(168, 172);
504      this.problemDimensionTextBox.Name = "problemDimensionTextBox";
505      this.problemDimensionTextBox.Size = new System.Drawing.Size(186, 20);
506      this.problemDimensionTextBox.TabIndex = 13;
507      this.problemDimensionTextBox.Validated += new System.EventHandler(this.problemDimensionTextBox_Validated);
508      //
509      // initialMutationStrengthVectorTextBox
510      //
511      this.initialMutationStrengthVectorTextBox.Anchor = System.Windows.Forms.AnchorStyles.None;
512      this.initialMutationStrengthVectorTextBox.Location = new System.Drawing.Point(168, 198);
513      this.initialMutationStrengthVectorTextBox.Name = "initialMutationStrengthVectorTextBox";
514      this.initialMutationStrengthVectorTextBox.Size = new System.Drawing.Size(186, 20);
515      this.initialMutationStrengthVectorTextBox.TabIndex = 13;
516      this.toolTip.SetToolTip(this.initialMutationStrengthVectorTextBox, resources.GetString("initialMutationStrengthVectorTextBox.ToolTip"));
517      this.initialMutationStrengthVectorTextBox.Validated += new System.EventHandler(this.initialMutationStrengthVectorTextBox_Validated);
518      //
519      // evaluationLabel
520      //
521      this.evaluationLabel.Anchor = System.Windows.Forms.AnchorStyles.None;
522      this.evaluationLabel.AutoSize = true;
523      this.evaluationLabel.Location = new System.Drawing.Point(6, 435);
524      this.evaluationLabel.Name = "evaluationLabel";
525      this.evaluationLabel.Size = new System.Drawing.Size(60, 13);
526      this.evaluationLabel.TabIndex = 31;
527      this.evaluationLabel.Text = "&Evaluation:";
528      //
529      // mutationLabel
530      //
531      this.mutationLabel.Anchor = System.Windows.Forms.AnchorStyles.None;
532      this.mutationLabel.AutoSize = true;
533      this.mutationLabel.Location = new System.Drawing.Point(6, 409);
534      this.mutationLabel.Name = "mutationLabel";
535      this.mutationLabel.Size = new System.Drawing.Size(51, 13);
536      this.mutationLabel.TabIndex = 27;
537      this.mutationLabel.Text = "&Mutation:";
538      //
539      // solutionGenerationLabel
540      //
541      this.solutionGenerationLabel.Anchor = System.Windows.Forms.AnchorStyles.None;
542      this.solutionGenerationLabel.AutoSize = true;
543      this.solutionGenerationLabel.Location = new System.Drawing.Point(6, 383);
544      this.solutionGenerationLabel.Name = "solutionGenerationLabel";
545      this.solutionGenerationLabel.Size = new System.Drawing.Size(103, 13);
546      this.solutionGenerationLabel.TabIndex = 23;
547      this.solutionGenerationLabel.Text = "&Solution Generation:";
548      //
549      // problemInitializationLabel
550      //
551      this.problemInitializationLabel.Anchor = System.Windows.Forms.AnchorStyles.None;
552      this.problemInitializationLabel.AutoSize = true;
553      this.problemInitializationLabel.Location = new System.Drawing.Point(6, 357);
554      this.problemInitializationLabel.Name = "problemInitializationLabel";
555      this.problemInitializationLabel.Size = new System.Drawing.Size(105, 13);
556      this.problemInitializationLabel.TabIndex = 19;
557      this.problemInitializationLabel.Text = "&Problem Initialization:";
558      //
559      // problemDimensionLabel
560      //
561      this.problemDimensionLabel.Anchor = System.Windows.Forms.AnchorStyles.None;
562      this.problemDimensionLabel.AutoSize = true;
563      this.problemDimensionLabel.Location = new System.Drawing.Point(7, 175);
564      this.problemDimensionLabel.Name = "problemDimensionLabel";
565      this.problemDimensionLabel.Size = new System.Drawing.Size(100, 13);
566      this.problemDimensionLabel.TabIndex = 12;
567      this.problemDimensionLabel.Text = "Problem Dimension:";
568      //
569      // initialMutationStrengthLabel
570      //
571      this.initialMutationStrengthLabel.Anchor = System.Windows.Forms.AnchorStyles.None;
572      this.initialMutationStrengthLabel.AutoSize = true;
573      this.initialMutationStrengthLabel.Location = new System.Drawing.Point(6, 201);
574      this.initialMutationStrengthLabel.Name = "initialMutationStrengthLabel";
575      this.initialMutationStrengthLabel.Size = new System.Drawing.Size(155, 13);
576      this.initialMutationStrengthLabel.TabIndex = 12;
577      this.initialMutationStrengthLabel.Text = "Initial Mutation Strength Vector:";
578      //
579      // mutationRateLabel
580      //
581      this.mutationRateLabel.Anchor = System.Windows.Forms.AnchorStyles.None;
582      this.mutationRateLabel.AutoSize = true;
583      this.mutationRateLabel.Font = new System.Drawing.Font("Microsoft Sans Serif", 8.25F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0)));
584      this.mutationRateLabel.Location = new System.Drawing.Point(6, 123);
585      this.mutationRateLabel.Name = "mutationRateLabel";
586      this.mutationRateLabel.Size = new System.Drawing.Size(62, 13);
587      this.mutationRateLabel.TabIndex = 8;
588      this.mutationRateLabel.Text = "Lambda (λ):";
589      //
590      // maximumGenerationsTextBox
591      //
592      this.maximumGenerationsTextBox.Anchor = System.Windows.Forms.AnchorStyles.None;
593      this.maximumGenerationsTextBox.Location = new System.Drawing.Point(168, 146);
594      this.maximumGenerationsTextBox.Name = "maximumGenerationsTextBox";
595      this.maximumGenerationsTextBox.Size = new System.Drawing.Size(186, 20);
596      this.maximumGenerationsTextBox.TabIndex = 11;
597      //
598      // maximumGenerationsLabel
599      //
600      this.maximumGenerationsLabel.Anchor = System.Windows.Forms.AnchorStyles.None;
601      this.maximumGenerationsLabel.AutoSize = true;
602      this.maximumGenerationsLabel.Location = new System.Drawing.Point(6, 149);
603      this.maximumGenerationsLabel.Name = "maximumGenerationsLabel";
604      this.maximumGenerationsLabel.Size = new System.Drawing.Size(114, 13);
605      this.maximumGenerationsLabel.TabIndex = 10;
606      this.maximumGenerationsLabel.Text = "Maximum &Generations:";
607      //
608      // randomSeedTextBox
609      //
610      this.randomSeedTextBox.Anchor = System.Windows.Forms.AnchorStyles.None;
611      this.randomSeedTextBox.Location = new System.Drawing.Point(168, 32);
612      this.randomSeedTextBox.Name = "randomSeedTextBox";
613      this.randomSeedTextBox.Size = new System.Drawing.Size(186, 20);
614      this.randomSeedTextBox.TabIndex = 3;
615      //
616      // muTextBox
617      //
618      this.muTextBox.Anchor = System.Windows.Forms.AnchorStyles.None;
619      this.muTextBox.Location = new System.Drawing.Point(168, 68);
620      this.muTextBox.Name = "muTextBox";
621      this.muTextBox.Size = new System.Drawing.Size(186, 20);
622      this.muTextBox.TabIndex = 5;
623      //
624      // setRandomSeedRandomlyLabel
625      //
626      this.setRandomSeedRandomlyLabel.Anchor = System.Windows.Forms.AnchorStyles.None;
627      this.setRandomSeedRandomlyLabel.AutoSize = true;
628      this.setRandomSeedRandomlyLabel.Location = new System.Drawing.Point(6, 12);
629      this.setRandomSeedRandomlyLabel.Name = "setRandomSeedRandomlyLabel";
630      this.setRandomSeedRandomlyLabel.Size = new System.Drawing.Size(147, 13);
631      this.setRandomSeedRandomlyLabel.TabIndex = 0;
632      this.setRandomSeedRandomlyLabel.Text = "Set &Random Seed Randomly:";
633      //
634      // randomSeedLabel
635      //
636      this.randomSeedLabel.Anchor = System.Windows.Forms.AnchorStyles.None;
637      this.randomSeedLabel.AutoSize = true;
638      this.randomSeedLabel.Location = new System.Drawing.Point(6, 35);
639      this.randomSeedLabel.Name = "randomSeedLabel";
640      this.randomSeedLabel.Size = new System.Drawing.Size(78, 13);
641      this.randomSeedLabel.TabIndex = 2;
642      this.randomSeedLabel.Text = "&Random Seed:";
643      //
644      // label6
645      //
646      this.label6.Anchor = System.Windows.Forms.AnchorStyles.None;
647      this.label6.AutoSize = true;
648      this.label6.Location = new System.Drawing.Point(357, 201);
649      this.label6.Name = "label6";
650      this.label6.Size = new System.Drawing.Size(87, 13);
651      this.label6.TabIndex = 4;
652      this.label6.Text = "(ShakingFactors)";
653      //
654      // label5
655      //
656      this.label5.Anchor = System.Windows.Forms.AnchorStyles.None;
657      this.label5.AutoSize = true;
658      this.label5.Location = new System.Drawing.Point(357, 149);
659      this.label5.Name = "label5";
660      this.label5.Size = new System.Drawing.Size(114, 13);
661      this.label5.TabIndex = 4;
662      this.label5.Text = "(MaximumGenerations)";
663      //
664      // label4
665      //
666      this.label4.Anchor = System.Windows.Forms.AnchorStyles.None;
667      this.label4.AutoSize = true;
668      this.label4.Location = new System.Drawing.Point(356, 123);
669      this.label4.Name = "label4";
670      this.label4.Size = new System.Drawing.Size(61, 13);
671      this.label4.TabIndex = 4;
672      this.label4.Text = "(ESlambda)";
673      //
674      // label3
675      //
676      this.label3.Anchor = System.Windows.Forms.AnchorStyles.None;
677      this.label3.AutoSize = true;
678      this.label3.Location = new System.Drawing.Point(357, 97);
679      this.label3.Name = "label3";
680      this.label3.Size = new System.Drawing.Size(42, 13);
681      this.label3.TabIndex = 4;
682      this.label3.Text = "(ESrho)";
683      //
684      // label2
685      //
686      this.label2.Anchor = System.Windows.Forms.AnchorStyles.None;
687      this.label2.AutoSize = true;
688      this.label2.Location = new System.Drawing.Point(357, 71);
689      this.label2.Name = "label2";
690      this.label2.Size = new System.Drawing.Size(41, 13);
691      this.label2.TabIndex = 4;
692      this.label2.Text = "(ESmu)";
693      //
694      // populationSizeLabel
695      //
696      this.populationSizeLabel.Anchor = System.Windows.Forms.AnchorStyles.None;
697      this.populationSizeLabel.AutoSize = true;
698      this.populationSizeLabel.Font = new System.Drawing.Font("Microsoft Sans Serif", 8.25F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0)));
699      this.populationSizeLabel.Location = new System.Drawing.Point(6, 71);
700      this.populationSizeLabel.Name = "populationSizeLabel";
701      this.populationSizeLabel.Size = new System.Drawing.Size(40, 13);
702      this.populationSizeLabel.TabIndex = 4;
703      this.populationSizeLabel.Text = "Mu (µ):";
704      //
705      // lambdaTextBox
706      //
707      this.lambdaTextBox.Anchor = System.Windows.Forms.AnchorStyles.None;
708      this.lambdaTextBox.Location = new System.Drawing.Point(168, 120);
709      this.lambdaTextBox.Name = "lambdaTextBox";
710      this.lambdaTextBox.Size = new System.Drawing.Size(186, 20);
711      this.lambdaTextBox.TabIndex = 9;
712      //
713      // scopesTabPage
714      //
715      this.scopesTabPage.Controls.Add(this.scopeView);
716      this.scopesTabPage.Location = new System.Drawing.Point(4, 22);
717      this.scopesTabPage.Name = "scopesTabPage";
718      this.scopesTabPage.Padding = new System.Windows.Forms.Padding(3);
719      this.scopesTabPage.Size = new System.Drawing.Size(493, 495);
720      this.scopesTabPage.TabIndex = 2;
721      this.scopesTabPage.Text = "Scopes";
722      this.scopesTabPage.UseVisualStyleBackColor = true;
723      //
724      // scopeView
725      //
726      this.scopeView.Caption = "Scope";
727      this.scopeView.Dock = System.Windows.Forms.DockStyle.Fill;
728      this.scopeView.Location = new System.Drawing.Point(3, 3);
729      this.scopeView.Name = "scopeView";
730      this.scopeView.Scope = null;
731      this.scopeView.Size = new System.Drawing.Size(487, 489);
732      this.scopeView.TabIndex = 0;
733      //
734      // abortButton
735      //
736      this.abortButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
737      this.abortButton.Enabled = false;
738      this.abortButton.Location = new System.Drawing.Point(81, 527);
739      this.abortButton.Name = "abortButton";
740      this.abortButton.Size = new System.Drawing.Size(75, 23);
741      this.abortButton.TabIndex = 2;
742      this.abortButton.Text = "&Abort";
743      this.abortButton.UseVisualStyleBackColor = true;
744      this.abortButton.Click += new System.EventHandler(this.abortButton_Click);
745      //
746      // resetButton
747      //
748      this.resetButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
749      this.resetButton.Location = new System.Drawing.Point(162, 527);
750      this.resetButton.Name = "resetButton";
751      this.resetButton.Size = new System.Drawing.Size(75, 23);
752      this.resetButton.TabIndex = 3;
753      this.resetButton.Text = "&Reset";
754      this.resetButton.UseVisualStyleBackColor = true;
755      this.resetButton.Click += new System.EventHandler(this.resetButton_Click);
756      //
757      // cloneEngineButton
758      //
759      this.cloneEngineButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Right)));
760      this.cloneEngineButton.Location = new System.Drawing.Point(395, 527);
761      this.cloneEngineButton.Name = "cloneEngineButton";
762      this.cloneEngineButton.Size = new System.Drawing.Size(106, 23);
763      this.cloneEngineButton.TabIndex = 4;
764      this.cloneEngineButton.Text = "&Clone Engine...";
765      this.cloneEngineButton.UseVisualStyleBackColor = true;
766      this.cloneEngineButton.Click += new System.EventHandler(this.cloneEngineButton_Click);
767      //
768      // toolTip
769      //
770      this.toolTip.AutomaticDelay = 200;
771      this.toolTip.AutoPopDelay = 10000;
772      this.toolTip.InitialDelay = 200;
773      this.toolTip.ReshowDelay = 40;
774      //
775      // ESEditor
776      //
777      this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
778      this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
779      this.Controls.Add(this.tabControl);
780      this.Controls.Add(this.cloneEngineButton);
781      this.Controls.Add(this.resetButton);
782      this.Controls.Add(this.abortButton);
783      this.Controls.Add(this.executeButton);
784      this.Name = "ESEditor";
785      this.Size = new System.Drawing.Size(501, 550);
786      this.tabControl.ResumeLayout(false);
787      this.parametersTabPage.ResumeLayout(false);
788      this.parametersTabPage.PerformLayout();
789      this.successRuleGroupBox.ResumeLayout(false);
790      this.successRuleGroupBox.PerformLayout();
791      this.parentSelectionGroupBox.ResumeLayout(false);
792      this.parentSelectionGroupBox.PerformLayout();
793      this.scopesTabPage.ResumeLayout(false);
794      this.ResumeLayout(false);
795
796    }
797
798    #endregion
799
800    private System.Windows.Forms.Button executeButton;
801    private System.Windows.Forms.TabControl tabControl;
802    private System.Windows.Forms.TabPage parametersTabPage;
803    private System.Windows.Forms.Button abortButton;
804    private System.Windows.Forms.Button resetButton;
805    private System.Windows.Forms.TextBox lambdaTextBox;
806    private System.Windows.Forms.Label mutationRateLabel;
807    private System.Windows.Forms.TextBox muTextBox;
808    private System.Windows.Forms.Label populationSizeLabel;
809    private System.Windows.Forms.TabPage scopesTabPage;
810    private System.Windows.Forms.TextBox maximumGenerationsTextBox;
811    private System.Windows.Forms.Label maximumGenerationsLabel;
812    private System.Windows.Forms.TextBox initialMutationStrengthVectorTextBox;
813    private System.Windows.Forms.Label initialMutationStrengthLabel;
814    private System.Windows.Forms.TextBox randomSeedTextBox;
815    private System.Windows.Forms.Label setRandomSeedRandomlyLabel;
816    private System.Windows.Forms.Label randomSeedLabel;
817    private System.Windows.Forms.CheckBox setRandomSeedRandomlyCheckBox;
818    private System.Windows.Forms.Label problemInitializationLabel;
819    private System.Windows.Forms.Label evaluationLabel;
820    private System.Windows.Forms.Label mutationLabel;
821    private System.Windows.Forms.Label solutionGenerationLabel;
822    private System.Windows.Forms.Button cloneEngineButton;
823    private System.Windows.Forms.TextBox mutationTextBox;
824    private System.Windows.Forms.TextBox solutionGenerationTextBox;
825    private System.Windows.Forms.TextBox problemInitializationTextBox;
826    private System.Windows.Forms.TextBox evaluationTextBox;
827    private System.Windows.Forms.Button setProblemInitializationButton;
828    private System.Windows.Forms.Button setEvaluationButton;
829    private System.Windows.Forms.Button setMutationButton;
830    private System.Windows.Forms.Button setSolutionGenerationButton;
831    private HeuristicLab.Core.ScopeView scopeView;
832    private System.Windows.Forms.Button viewEvaluationButton;
833    private System.Windows.Forms.Button viewMutationButton;
834    private System.Windows.Forms.Button viewSolutionGenerationButton;
835    private System.Windows.Forms.Button viewProblemInitializationButton;
836    private System.Windows.Forms.TextBox generalLearningRateTextBox;
837    private System.Windows.Forms.Label targetSuccessRateLabel;
838    private System.Windows.Forms.Button setRecombinationButton;
839    private System.Windows.Forms.Button viewRecombinationButton;
840    private System.Windows.Forms.TextBox recombinationTextBox;
841    private System.Windows.Forms.Label recombinationLabel;
842    private System.Windows.Forms.TextBox rhoTextBox;
843    private System.Windows.Forms.Label rhoLabel;
844    private System.Windows.Forms.GroupBox parentSelectionGroupBox;
845    private System.Windows.Forms.RadioButton commaRadioButton;
846    private System.Windows.Forms.RadioButton plusRadioButton;
847    private System.Windows.Forms.GroupBox successRuleGroupBox;
848    private System.Windows.Forms.TextBox learningRateTextBox;
849    private System.Windows.Forms.Label label1;
850    private System.Windows.Forms.Label label5;
851    private System.Windows.Forms.Label label4;
852    private System.Windows.Forms.Label label3;
853    private System.Windows.Forms.Label label2;
854    private System.Windows.Forms.Label label6;
855    private System.Windows.Forms.Label label8;
856    private System.Windows.Forms.Label label7;
857    private System.Windows.Forms.ToolTip toolTip;
858    private System.Windows.Forms.TextBox problemDimensionTextBox;
859    private System.Windows.Forms.Label problemDimensionLabel;
860  }
861}
Note: See TracBrowser for help on using the repository browser.