Free cookie consent management tool by TermsFeed Policy Generator

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

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

fixed #61 regarding ES

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