Free cookie consent management tool by TermsFeed Policy Generator

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

Last change on this file since 78 was 78, checked in by abeham, 16 years ago

Fixed tickets #63, #66 regarding ES

File size: 31.1 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.executeButton = new System.Windows.Forms.Button();
49      this.tabControl = new System.Windows.Forms.TabControl();
50      this.parametersTabPage = new System.Windows.Forms.TabPage();
51      this.targetSuccessRateTextBox = new System.Windows.Forms.TextBox();
52      this.targetSuccessRateLabel = new System.Windows.Forms.Label();
53      this.plusNotationButton = new System.Windows.Forms.Button();
54      this.plusNotationLabel = new System.Windows.Forms.Label();
55      this.setEvaluationButton = new System.Windows.Forms.Button();
56      this.setMutationButton = new System.Windows.Forms.Button();
57      this.setSolutionGenerationButton = new System.Windows.Forms.Button();
58      this.viewEvaluationButton = new System.Windows.Forms.Button();
59      this.viewMutationButton = new System.Windows.Forms.Button();
60      this.viewSolutionGenerationButton = new System.Windows.Forms.Button();
61      this.viewProblemInitializationButton = new System.Windows.Forms.Button();
62      this.setProblemInitializationButton = new System.Windows.Forms.Button();
63      this.evaluationTextBox = new System.Windows.Forms.TextBox();
64      this.mutationTextBox = new System.Windows.Forms.TextBox();
65      this.solutionGenerationTextBox = new System.Windows.Forms.TextBox();
66      this.problemInitializationTextBox = new System.Windows.Forms.TextBox();
67      this.setRandomSeedRandomlyCheckBox = new System.Windows.Forms.CheckBox();
68      this.initialMutationStrengthTextBox = new System.Windows.Forms.TextBox();
69      this.evaluationLabel = new System.Windows.Forms.Label();
70      this.mutationLabel = new System.Windows.Forms.Label();
71      this.solutionGenerationLabel = new System.Windows.Forms.Label();
72      this.problemInitializationLabel = new System.Windows.Forms.Label();
73      this.initialMutationStrengthLabel = new System.Windows.Forms.Label();
74      this.mutationRateLabel = new System.Windows.Forms.Label();
75      this.maximumGenerationsTextBox = new System.Windows.Forms.TextBox();
76      this.maximumGenerationsLabel = new System.Windows.Forms.Label();
77      this.randomSeedTextBox = new System.Windows.Forms.TextBox();
78      this.muTextBox = new System.Windows.Forms.TextBox();
79      this.setRandomSeedRandomlyLabel = new System.Windows.Forms.Label();
80      this.randomSeedLabel = new System.Windows.Forms.Label();
81      this.populationSizeLabel = new System.Windows.Forms.Label();
82      this.lambdaTextBox = new System.Windows.Forms.TextBox();
83      this.scopesTabPage = new System.Windows.Forms.TabPage();
84      this.scopeView = new HeuristicLab.Core.ScopeView();
85      this.abortButton = new System.Windows.Forms.Button();
86      this.resetButton = new System.Windows.Forms.Button();
87      this.cloneEngineButton = new System.Windows.Forms.Button();
88      this.tabControl.SuspendLayout();
89      this.parametersTabPage.SuspendLayout();
90      this.scopesTabPage.SuspendLayout();
91      this.SuspendLayout();
92      //
93      // executeButton
94      //
95      this.executeButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
96      this.executeButton.Location = new System.Drawing.Point(0, 396);
97      this.executeButton.Name = "executeButton";
98      this.executeButton.Size = new System.Drawing.Size(75, 23);
99      this.executeButton.TabIndex = 1;
100      this.executeButton.Text = "&Execute";
101      this.executeButton.UseVisualStyleBackColor = true;
102      this.executeButton.Click += new System.EventHandler(this.executeButton_Click);
103      //
104      // tabControl
105      //
106      this.tabControl.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
107                  | System.Windows.Forms.AnchorStyles.Left)
108                  | System.Windows.Forms.AnchorStyles.Right)));
109      this.tabControl.Controls.Add(this.parametersTabPage);
110      this.tabControl.Controls.Add(this.scopesTabPage);
111      this.tabControl.Location = new System.Drawing.Point(0, 0);
112      this.tabControl.Name = "tabControl";
113      this.tabControl.SelectedIndex = 0;
114      this.tabControl.Size = new System.Drawing.Size(526, 390);
115      this.tabControl.TabIndex = 0;
116      //
117      // parametersTabPage
118      //
119      this.parametersTabPage.Controls.Add(this.targetSuccessRateTextBox);
120      this.parametersTabPage.Controls.Add(this.targetSuccessRateLabel);
121      this.parametersTabPage.Controls.Add(this.plusNotationButton);
122      this.parametersTabPage.Controls.Add(this.plusNotationLabel);
123      this.parametersTabPage.Controls.Add(this.setEvaluationButton);
124      this.parametersTabPage.Controls.Add(this.setMutationButton);
125      this.parametersTabPage.Controls.Add(this.setSolutionGenerationButton);
126      this.parametersTabPage.Controls.Add(this.viewEvaluationButton);
127      this.parametersTabPage.Controls.Add(this.viewMutationButton);
128      this.parametersTabPage.Controls.Add(this.viewSolutionGenerationButton);
129      this.parametersTabPage.Controls.Add(this.viewProblemInitializationButton);
130      this.parametersTabPage.Controls.Add(this.setProblemInitializationButton);
131      this.parametersTabPage.Controls.Add(this.evaluationTextBox);
132      this.parametersTabPage.Controls.Add(this.mutationTextBox);
133      this.parametersTabPage.Controls.Add(this.solutionGenerationTextBox);
134      this.parametersTabPage.Controls.Add(this.problemInitializationTextBox);
135      this.parametersTabPage.Controls.Add(this.setRandomSeedRandomlyCheckBox);
136      this.parametersTabPage.Controls.Add(this.initialMutationStrengthTextBox);
137      this.parametersTabPage.Controls.Add(this.evaluationLabel);
138      this.parametersTabPage.Controls.Add(this.mutationLabel);
139      this.parametersTabPage.Controls.Add(this.solutionGenerationLabel);
140      this.parametersTabPage.Controls.Add(this.problemInitializationLabel);
141      this.parametersTabPage.Controls.Add(this.initialMutationStrengthLabel);
142      this.parametersTabPage.Controls.Add(this.mutationRateLabel);
143      this.parametersTabPage.Controls.Add(this.maximumGenerationsTextBox);
144      this.parametersTabPage.Controls.Add(this.maximumGenerationsLabel);
145      this.parametersTabPage.Controls.Add(this.randomSeedTextBox);
146      this.parametersTabPage.Controls.Add(this.muTextBox);
147      this.parametersTabPage.Controls.Add(this.setRandomSeedRandomlyLabel);
148      this.parametersTabPage.Controls.Add(this.randomSeedLabel);
149      this.parametersTabPage.Controls.Add(this.populationSizeLabel);
150      this.parametersTabPage.Controls.Add(this.lambdaTextBox);
151      this.parametersTabPage.Location = new System.Drawing.Point(4, 22);
152      this.parametersTabPage.Name = "parametersTabPage";
153      this.parametersTabPage.Padding = new System.Windows.Forms.Padding(3);
154      this.parametersTabPage.Size = new System.Drawing.Size(518, 364);
155      this.parametersTabPage.TabIndex = 0;
156      this.parametersTabPage.Text = "Parameters";
157      this.parametersTabPage.UseVisualStyleBackColor = true;
158      //
159      // targetSuccessRateTextBox
160      //
161      this.targetSuccessRateTextBox.Anchor = System.Windows.Forms.AnchorStyles.None;
162      this.targetSuccessRateTextBox.Location = new System.Drawing.Point(218, 182);
163      this.targetSuccessRateTextBox.Name = "targetSuccessRateTextBox";
164      this.targetSuccessRateTextBox.Size = new System.Drawing.Size(186, 20);
165      this.targetSuccessRateTextBox.TabIndex = 39;
166      //
167      // targetSuccessRateLabel
168      //
169      this.targetSuccessRateLabel.Anchor = System.Windows.Forms.AnchorStyles.None;
170      this.targetSuccessRateLabel.AutoSize = true;
171      this.targetSuccessRateLabel.Location = new System.Drawing.Point(65, 185);
172      this.targetSuccessRateLabel.Name = "targetSuccessRateLabel";
173      this.targetSuccessRateLabel.Size = new System.Drawing.Size(111, 13);
174      this.targetSuccessRateLabel.TabIndex = 38;
175      this.targetSuccessRateLabel.Text = "Target Success Rate:";
176      //
177      // plusNotationButton
178      //
179      this.plusNotationButton.Anchor = System.Windows.Forms.AnchorStyles.None;
180      this.plusNotationButton.Font = new System.Drawing.Font("Microsoft Sans Serif", 8.25F, System.Drawing.FontStyle.Bold, System.Drawing.GraphicsUnit.Point, ((byte)(0)));
181      this.plusNotationButton.Location = new System.Drawing.Point(218, 208);
182      this.plusNotationButton.Name = "plusNotationButton";
183      this.plusNotationButton.Size = new System.Drawing.Size(78, 24);
184      this.plusNotationButton.TabIndex = 37;
185      this.plusNotationButton.Text = "Plus";
186      this.plusNotationButton.UseVisualStyleBackColor = true;
187      this.plusNotationButton.Click += new System.EventHandler(this.plusNotationButton_Click);
188      //
189      // plusNotationLabel
190      //
191      this.plusNotationLabel.Anchor = System.Windows.Forms.AnchorStyles.None;
192      this.plusNotationLabel.AutoSize = true;
193      this.plusNotationLabel.Location = new System.Drawing.Point(65, 214);
194      this.plusNotationLabel.Name = "plusNotationLabel";
195      this.plusNotationLabel.Size = new System.Drawing.Size(102, 13);
196      this.plusNotationLabel.TabIndex = 36;
197      this.plusNotationLabel.Text = "Plus/Point Notation:";
198      //
199      // setEvaluationButton
200      //
201      this.setEvaluationButton.Anchor = System.Windows.Forms.AnchorStyles.None;
202      this.setEvaluationButton.Location = new System.Drawing.Point(469, 338);
203      this.setEvaluationButton.Name = "setEvaluationButton";
204      this.setEvaluationButton.Size = new System.Drawing.Size(43, 20);
205      this.setEvaluationButton.TabIndex = 35;
206      this.setEvaluationButton.Text = "Set...";
207      this.setEvaluationButton.UseVisualStyleBackColor = true;
208      this.setEvaluationButton.Click += new System.EventHandler(this.setEvaluationButton_Click);
209      //
210      // setMutationButton
211      //
212      this.setMutationButton.Anchor = System.Windows.Forms.AnchorStyles.None;
213      this.setMutationButton.Location = new System.Drawing.Point(469, 312);
214      this.setMutationButton.Name = "setMutationButton";
215      this.setMutationButton.Size = new System.Drawing.Size(43, 20);
216      this.setMutationButton.TabIndex = 31;
217      this.setMutationButton.Text = "Set...";
218      this.setMutationButton.UseVisualStyleBackColor = true;
219      this.setMutationButton.Click += new System.EventHandler(this.setMutationButton_Click);
220      //
221      // setSolutionGenerationButton
222      //
223      this.setSolutionGenerationButton.Anchor = System.Windows.Forms.AnchorStyles.None;
224      this.setSolutionGenerationButton.Location = new System.Drawing.Point(469, 286);
225      this.setSolutionGenerationButton.Name = "setSolutionGenerationButton";
226      this.setSolutionGenerationButton.Size = new System.Drawing.Size(43, 20);
227      this.setSolutionGenerationButton.TabIndex = 19;
228      this.setSolutionGenerationButton.Text = "Set...";
229      this.setSolutionGenerationButton.UseVisualStyleBackColor = true;
230      this.setSolutionGenerationButton.Click += new System.EventHandler(this.setSolutionGenerationButton_Click);
231      //
232      // viewEvaluationButton
233      //
234      this.viewEvaluationButton.Anchor = System.Windows.Forms.AnchorStyles.None;
235      this.viewEvaluationButton.Location = new System.Drawing.Point(410, 338);
236      this.viewEvaluationButton.Name = "viewEvaluationButton";
237      this.viewEvaluationButton.Size = new System.Drawing.Size(53, 20);
238      this.viewEvaluationButton.TabIndex = 34;
239      this.viewEvaluationButton.Text = "View...";
240      this.viewEvaluationButton.UseVisualStyleBackColor = true;
241      this.viewEvaluationButton.Click += new System.EventHandler(this.viewEvaluationButton_Click);
242      //
243      // viewMutationButton
244      //
245      this.viewMutationButton.Anchor = System.Windows.Forms.AnchorStyles.None;
246      this.viewMutationButton.Location = new System.Drawing.Point(410, 312);
247      this.viewMutationButton.Name = "viewMutationButton";
248      this.viewMutationButton.Size = new System.Drawing.Size(53, 20);
249      this.viewMutationButton.TabIndex = 30;
250      this.viewMutationButton.Text = "View...";
251      this.viewMutationButton.UseVisualStyleBackColor = true;
252      this.viewMutationButton.Click += new System.EventHandler(this.viewMutationButton_Click);
253      //
254      // viewSolutionGenerationButton
255      //
256      this.viewSolutionGenerationButton.Anchor = System.Windows.Forms.AnchorStyles.None;
257      this.viewSolutionGenerationButton.Location = new System.Drawing.Point(410, 286);
258      this.viewSolutionGenerationButton.Name = "viewSolutionGenerationButton";
259      this.viewSolutionGenerationButton.Size = new System.Drawing.Size(53, 20);
260      this.viewSolutionGenerationButton.TabIndex = 18;
261      this.viewSolutionGenerationButton.Text = "View...";
262      this.viewSolutionGenerationButton.UseVisualStyleBackColor = true;
263      this.viewSolutionGenerationButton.Click += new System.EventHandler(this.viewSolutionGenerationButton_Click);
264      //
265      // viewProblemInitializationButton
266      //
267      this.viewProblemInitializationButton.Anchor = System.Windows.Forms.AnchorStyles.None;
268      this.viewProblemInitializationButton.Location = new System.Drawing.Point(410, 260);
269      this.viewProblemInitializationButton.Name = "viewProblemInitializationButton";
270      this.viewProblemInitializationButton.Size = new System.Drawing.Size(53, 20);
271      this.viewProblemInitializationButton.TabIndex = 14;
272      this.viewProblemInitializationButton.Text = "View...";
273      this.viewProblemInitializationButton.UseVisualStyleBackColor = true;
274      this.viewProblemInitializationButton.Click += new System.EventHandler(this.viewProblemInitializationButton_Click);
275      //
276      // setProblemInitializationButton
277      //
278      this.setProblemInitializationButton.Anchor = System.Windows.Forms.AnchorStyles.None;
279      this.setProblemInitializationButton.Location = new System.Drawing.Point(469, 260);
280      this.setProblemInitializationButton.Name = "setProblemInitializationButton";
281      this.setProblemInitializationButton.Size = new System.Drawing.Size(43, 20);
282      this.setProblemInitializationButton.TabIndex = 15;
283      this.setProblemInitializationButton.Text = "Set...";
284      this.setProblemInitializationButton.UseVisualStyleBackColor = true;
285      this.setProblemInitializationButton.Click += new System.EventHandler(this.setProblemInitializationButton_Click);
286      //
287      // evaluationTextBox
288      //
289      this.evaluationTextBox.Anchor = System.Windows.Forms.AnchorStyles.None;
290      this.evaluationTextBox.Location = new System.Drawing.Point(218, 338);
291      this.evaluationTextBox.Name = "evaluationTextBox";
292      this.evaluationTextBox.ReadOnly = true;
293      this.evaluationTextBox.Size = new System.Drawing.Size(186, 20);
294      this.evaluationTextBox.TabIndex = 33;
295      //
296      // mutationTextBox
297      //
298      this.mutationTextBox.Anchor = System.Windows.Forms.AnchorStyles.None;
299      this.mutationTextBox.Location = new System.Drawing.Point(218, 312);
300      this.mutationTextBox.Name = "mutationTextBox";
301      this.mutationTextBox.ReadOnly = true;
302      this.mutationTextBox.Size = new System.Drawing.Size(186, 20);
303      this.mutationTextBox.TabIndex = 29;
304      //
305      // solutionGenerationTextBox
306      //
307      this.solutionGenerationTextBox.Anchor = System.Windows.Forms.AnchorStyles.None;
308      this.solutionGenerationTextBox.Location = new System.Drawing.Point(218, 286);
309      this.solutionGenerationTextBox.Name = "solutionGenerationTextBox";
310      this.solutionGenerationTextBox.ReadOnly = true;
311      this.solutionGenerationTextBox.Size = new System.Drawing.Size(186, 20);
312      this.solutionGenerationTextBox.TabIndex = 17;
313      //
314      // problemInitializationTextBox
315      //
316      this.problemInitializationTextBox.Anchor = System.Windows.Forms.AnchorStyles.None;
317      this.problemInitializationTextBox.Location = new System.Drawing.Point(218, 260);
318      this.problemInitializationTextBox.Name = "problemInitializationTextBox";
319      this.problemInitializationTextBox.ReadOnly = true;
320      this.problemInitializationTextBox.Size = new System.Drawing.Size(186, 20);
321      this.problemInitializationTextBox.TabIndex = 13;
322      //
323      // setRandomSeedRandomlyCheckBox
324      //
325      this.setRandomSeedRandomlyCheckBox.Anchor = System.Windows.Forms.AnchorStyles.None;
326      this.setRandomSeedRandomlyCheckBox.AutoSize = true;
327      this.setRandomSeedRandomlyCheckBox.Location = new System.Drawing.Point(218, 6);
328      this.setRandomSeedRandomlyCheckBox.Name = "setRandomSeedRandomlyCheckBox";
329      this.setRandomSeedRandomlyCheckBox.Size = new System.Drawing.Size(15, 14);
330      this.setRandomSeedRandomlyCheckBox.TabIndex = 1;
331      this.setRandomSeedRandomlyCheckBox.UseVisualStyleBackColor = true;
332      //
333      // initialMutationStrengthTextBox
334      //
335      this.initialMutationStrengthTextBox.Anchor = System.Windows.Forms.AnchorStyles.None;
336      this.initialMutationStrengthTextBox.Location = new System.Drawing.Point(218, 156);
337      this.initialMutationStrengthTextBox.Name = "initialMutationStrengthTextBox";
338      this.initialMutationStrengthTextBox.Size = new System.Drawing.Size(186, 20);
339      this.initialMutationStrengthTextBox.TabIndex = 11;
340      //
341      // evaluationLabel
342      //
343      this.evaluationLabel.Anchor = System.Windows.Forms.AnchorStyles.None;
344      this.evaluationLabel.AutoSize = true;
345      this.evaluationLabel.Location = new System.Drawing.Point(65, 341);
346      this.evaluationLabel.Name = "evaluationLabel";
347      this.evaluationLabel.Size = new System.Drawing.Size(60, 13);
348      this.evaluationLabel.TabIndex = 32;
349      this.evaluationLabel.Text = "&Evaluation:";
350      //
351      // mutationLabel
352      //
353      this.mutationLabel.Anchor = System.Windows.Forms.AnchorStyles.None;
354      this.mutationLabel.AutoSize = true;
355      this.mutationLabel.Location = new System.Drawing.Point(65, 315);
356      this.mutationLabel.Name = "mutationLabel";
357      this.mutationLabel.Size = new System.Drawing.Size(51, 13);
358      this.mutationLabel.TabIndex = 28;
359      this.mutationLabel.Text = "&Mutation:";
360      //
361      // solutionGenerationLabel
362      //
363      this.solutionGenerationLabel.Anchor = System.Windows.Forms.AnchorStyles.None;
364      this.solutionGenerationLabel.AutoSize = true;
365      this.solutionGenerationLabel.Location = new System.Drawing.Point(65, 289);
366      this.solutionGenerationLabel.Name = "solutionGenerationLabel";
367      this.solutionGenerationLabel.Size = new System.Drawing.Size(103, 13);
368      this.solutionGenerationLabel.TabIndex = 16;
369      this.solutionGenerationLabel.Text = "&Solution Generation:";
370      //
371      // problemInitializationLabel
372      //
373      this.problemInitializationLabel.Anchor = System.Windows.Forms.AnchorStyles.None;
374      this.problemInitializationLabel.AutoSize = true;
375      this.problemInitializationLabel.Location = new System.Drawing.Point(65, 263);
376      this.problemInitializationLabel.Name = "problemInitializationLabel";
377      this.problemInitializationLabel.Size = new System.Drawing.Size(105, 13);
378      this.problemInitializationLabel.TabIndex = 12;
379      this.problemInitializationLabel.Text = "&Problem Initialization:";
380      //
381      // initialMutationStrengthLabel
382      //
383      this.initialMutationStrengthLabel.Anchor = System.Windows.Forms.AnchorStyles.None;
384      this.initialMutationStrengthLabel.AutoSize = true;
385      this.initialMutationStrengthLabel.Location = new System.Drawing.Point(65, 159);
386      this.initialMutationStrengthLabel.Name = "initialMutationStrengthLabel";
387      this.initialMutationStrengthLabel.Size = new System.Drawing.Size(121, 13);
388      this.initialMutationStrengthLabel.TabIndex = 10;
389      this.initialMutationStrengthLabel.Text = "Initial Mutation Strength:";
390      //
391      // mutationRateLabel
392      //
393      this.mutationRateLabel.Anchor = System.Windows.Forms.AnchorStyles.None;
394      this.mutationRateLabel.AutoSize = true;
395      this.mutationRateLabel.Location = new System.Drawing.Point(65, 107);
396      this.mutationRateLabel.Name = "mutationRateLabel";
397      this.mutationRateLabel.Size = new System.Drawing.Size(48, 13);
398      this.mutationRateLabel.TabIndex = 8;
399      this.mutationRateLabel.Text = "Lambda:";
400      //
401      // maximumGenerationsTextBox
402      //
403      this.maximumGenerationsTextBox.Anchor = System.Windows.Forms.AnchorStyles.None;
404      this.maximumGenerationsTextBox.Location = new System.Drawing.Point(218, 130);
405      this.maximumGenerationsTextBox.Name = "maximumGenerationsTextBox";
406      this.maximumGenerationsTextBox.Size = new System.Drawing.Size(186, 20);
407      this.maximumGenerationsTextBox.TabIndex = 7;
408      //
409      // maximumGenerationsLabel
410      //
411      this.maximumGenerationsLabel.Anchor = System.Windows.Forms.AnchorStyles.None;
412      this.maximumGenerationsLabel.AutoSize = true;
413      this.maximumGenerationsLabel.Location = new System.Drawing.Point(65, 133);
414      this.maximumGenerationsLabel.Name = "maximumGenerationsLabel";
415      this.maximumGenerationsLabel.Size = new System.Drawing.Size(114, 13);
416      this.maximumGenerationsLabel.TabIndex = 6;
417      this.maximumGenerationsLabel.Text = "Maximum &Generations:";
418      //
419      // randomSeedTextBox
420      //
421      this.randomSeedTextBox.Anchor = System.Windows.Forms.AnchorStyles.None;
422      this.randomSeedTextBox.Location = new System.Drawing.Point(218, 26);
423      this.randomSeedTextBox.Name = "randomSeedTextBox";
424      this.randomSeedTextBox.Size = new System.Drawing.Size(186, 20);
425      this.randomSeedTextBox.TabIndex = 3;
426      //
427      // muTextBox
428      //
429      this.muTextBox.Anchor = System.Windows.Forms.AnchorStyles.None;
430      this.muTextBox.Location = new System.Drawing.Point(218, 78);
431      this.muTextBox.Name = "muTextBox";
432      this.muTextBox.Size = new System.Drawing.Size(186, 20);
433      this.muTextBox.TabIndex = 5;
434      //
435      // setRandomSeedRandomlyLabel
436      //
437      this.setRandomSeedRandomlyLabel.Anchor = System.Windows.Forms.AnchorStyles.None;
438      this.setRandomSeedRandomlyLabel.AutoSize = true;
439      this.setRandomSeedRandomlyLabel.Location = new System.Drawing.Point(65, 6);
440      this.setRandomSeedRandomlyLabel.Name = "setRandomSeedRandomlyLabel";
441      this.setRandomSeedRandomlyLabel.Size = new System.Drawing.Size(147, 13);
442      this.setRandomSeedRandomlyLabel.TabIndex = 0;
443      this.setRandomSeedRandomlyLabel.Text = "Set &Random Seed Randomly:";
444      //
445      // randomSeedLabel
446      //
447      this.randomSeedLabel.Anchor = System.Windows.Forms.AnchorStyles.None;
448      this.randomSeedLabel.AutoSize = true;
449      this.randomSeedLabel.Location = new System.Drawing.Point(65, 29);
450      this.randomSeedLabel.Name = "randomSeedLabel";
451      this.randomSeedLabel.Size = new System.Drawing.Size(78, 13);
452      this.randomSeedLabel.TabIndex = 2;
453      this.randomSeedLabel.Text = "&Random Seed:";
454      //
455      // populationSizeLabel
456      //
457      this.populationSizeLabel.Anchor = System.Windows.Forms.AnchorStyles.None;
458      this.populationSizeLabel.AutoSize = true;
459      this.populationSizeLabel.Location = new System.Drawing.Point(65, 81);
460      this.populationSizeLabel.Name = "populationSizeLabel";
461      this.populationSizeLabel.Size = new System.Drawing.Size(25, 13);
462      this.populationSizeLabel.TabIndex = 4;
463      this.populationSizeLabel.Text = "Mu:";
464      //
465      // lambdaTextBox
466      //
467      this.lambdaTextBox.Anchor = System.Windows.Forms.AnchorStyles.None;
468      this.lambdaTextBox.Location = new System.Drawing.Point(218, 104);
469      this.lambdaTextBox.Name = "lambdaTextBox";
470      this.lambdaTextBox.Size = new System.Drawing.Size(186, 20);
471      this.lambdaTextBox.TabIndex = 9;
472      //
473      // scopesTabPage
474      //
475      this.scopesTabPage.Controls.Add(this.scopeView);
476      this.scopesTabPage.Location = new System.Drawing.Point(4, 22);
477      this.scopesTabPage.Name = "scopesTabPage";
478      this.scopesTabPage.Padding = new System.Windows.Forms.Padding(3);
479      this.scopesTabPage.Size = new System.Drawing.Size(518, 364);
480      this.scopesTabPage.TabIndex = 2;
481      this.scopesTabPage.Text = "Scopes";
482      this.scopesTabPage.UseVisualStyleBackColor = true;
483      //
484      // scopeView
485      //
486      this.scopeView.Caption = "Scope";
487      this.scopeView.Dock = System.Windows.Forms.DockStyle.Fill;
488      this.scopeView.Location = new System.Drawing.Point(3, 3);
489      this.scopeView.Name = "scopeView";
490      this.scopeView.Scope = null;
491      this.scopeView.Size = new System.Drawing.Size(512, 358);
492      this.scopeView.TabIndex = 0;
493      //
494      // abortButton
495      //
496      this.abortButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
497      this.abortButton.Enabled = false;
498      this.abortButton.Location = new System.Drawing.Point(81, 396);
499      this.abortButton.Name = "abortButton";
500      this.abortButton.Size = new System.Drawing.Size(75, 23);
501      this.abortButton.TabIndex = 2;
502      this.abortButton.Text = "&Abort";
503      this.abortButton.UseVisualStyleBackColor = true;
504      this.abortButton.Click += new System.EventHandler(this.abortButton_Click);
505      //
506      // resetButton
507      //
508      this.resetButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
509      this.resetButton.Location = new System.Drawing.Point(162, 396);
510      this.resetButton.Name = "resetButton";
511      this.resetButton.Size = new System.Drawing.Size(75, 23);
512      this.resetButton.TabIndex = 3;
513      this.resetButton.Text = "&Reset";
514      this.resetButton.UseVisualStyleBackColor = true;
515      this.resetButton.Click += new System.EventHandler(this.resetButton_Click);
516      //
517      // cloneEngineButton
518      //
519      this.cloneEngineButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Right)));
520      this.cloneEngineButton.Location = new System.Drawing.Point(420, 396);
521      this.cloneEngineButton.Name = "cloneEngineButton";
522      this.cloneEngineButton.Size = new System.Drawing.Size(106, 23);
523      this.cloneEngineButton.TabIndex = 4;
524      this.cloneEngineButton.Text = "&Clone Engine...";
525      this.cloneEngineButton.UseVisualStyleBackColor = true;
526      this.cloneEngineButton.Click += new System.EventHandler(this.cloneEngineButton_Click);
527      //
528      // ESEditor
529      //
530      this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
531      this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
532      this.Controls.Add(this.tabControl);
533      this.Controls.Add(this.cloneEngineButton);
534      this.Controls.Add(this.resetButton);
535      this.Controls.Add(this.abortButton);
536      this.Controls.Add(this.executeButton);
537      this.Name = "ESEditor";
538      this.Size = new System.Drawing.Size(526, 419);
539      this.tabControl.ResumeLayout(false);
540      this.parametersTabPage.ResumeLayout(false);
541      this.parametersTabPage.PerformLayout();
542      this.scopesTabPage.ResumeLayout(false);
543      this.ResumeLayout(false);
544
545    }
546
547    #endregion
548
549    private System.Windows.Forms.Button executeButton;
550    private System.Windows.Forms.TabControl tabControl;
551    private System.Windows.Forms.TabPage parametersTabPage;
552    private System.Windows.Forms.Button abortButton;
553    private System.Windows.Forms.Button resetButton;
554    private System.Windows.Forms.TextBox lambdaTextBox;
555    private System.Windows.Forms.Label mutationRateLabel;
556    private System.Windows.Forms.TextBox muTextBox;
557    private System.Windows.Forms.Label populationSizeLabel;
558    private System.Windows.Forms.TabPage scopesTabPage;
559    private System.Windows.Forms.TextBox maximumGenerationsTextBox;
560    private System.Windows.Forms.Label maximumGenerationsLabel;
561    private System.Windows.Forms.TextBox initialMutationStrengthTextBox;
562    private System.Windows.Forms.Label initialMutationStrengthLabel;
563    private System.Windows.Forms.TextBox randomSeedTextBox;
564    private System.Windows.Forms.Label setRandomSeedRandomlyLabel;
565    private System.Windows.Forms.Label randomSeedLabel;
566    private System.Windows.Forms.CheckBox setRandomSeedRandomlyCheckBox;
567    private System.Windows.Forms.Label problemInitializationLabel;
568    private System.Windows.Forms.Label evaluationLabel;
569    private System.Windows.Forms.Label mutationLabel;
570    private System.Windows.Forms.Label solutionGenerationLabel;
571    private System.Windows.Forms.Button cloneEngineButton;
572    private System.Windows.Forms.TextBox mutationTextBox;
573    private System.Windows.Forms.TextBox solutionGenerationTextBox;
574    private System.Windows.Forms.TextBox problemInitializationTextBox;
575    private System.Windows.Forms.TextBox evaluationTextBox;
576    private System.Windows.Forms.Button setProblemInitializationButton;
577    private System.Windows.Forms.Button setEvaluationButton;
578    private System.Windows.Forms.Button setMutationButton;
579    private System.Windows.Forms.Button setSolutionGenerationButton;
580    private HeuristicLab.Core.ScopeView scopeView;
581    private System.Windows.Forms.Button viewEvaluationButton;
582    private System.Windows.Forms.Button viewMutationButton;
583    private System.Windows.Forms.Button viewSolutionGenerationButton;
584    private System.Windows.Forms.Button viewProblemInitializationButton;
585    private System.Windows.Forms.Button plusNotationButton;
586    private System.Windows.Forms.Label plusNotationLabel;
587    private System.Windows.Forms.TextBox targetSuccessRateTextBox;
588    private System.Windows.Forms.Label targetSuccessRateLabel;
589  }
590}
Note: See TracBrowser for help on using the repository browser.