Free cookie consent management tool by TermsFeed Policy Generator

source: trunk/sources/HeuristicLab.GP/3.3/FunctionView.Designer.cs @ 2710

Last change on this file since 2710 was 2701, checked in by gkronber, 15 years ago

Repaired FunctionLibraryEditor. #748 (FunctionLibraryView is empty)

File size: 16.4 KB
RevLine 
[2701]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
22using System;
23namespace HeuristicLab.GP {
24  partial class FunctionView {
25    /// <summary>
26    /// Required designer variable.
27    /// </summary>
28    private System.ComponentModel.IContainer components = null;
29
30    /// <summary>
31    /// Clean up any resources being used.
32    /// </summary>
33    /// <param name="disposing">true if managed resources should be disposed; otherwise, false.</param>
34    protected override void Dispose(bool disposing) {
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      this.groupBox = new System.Windows.Forms.GroupBox();
50      this.subTreesGroupBox = new System.Windows.Forms.GroupBox();
51      this.label6 = new System.Windows.Forms.Label();
52      this.argumentComboBox = new System.Windows.Forms.ComboBox();
53      this.subFunctionsListBox = new System.Windows.Forms.ListBox();
54      this.editManipulatorButton = new System.Windows.Forms.Button();
55      this.manipulatorTextBox = new System.Windows.Forms.TextBox();
56      this.initializerTextBox = new System.Windows.Forms.TextBox();
57      this.editInitializerButton = new System.Windows.Forms.Button();
58      this.label8 = new System.Windows.Forms.Label();
59      this.label7 = new System.Windows.Forms.Label();
60      this.ticketsTextBox = new System.Windows.Forms.TextBox();
61      this.label5 = new System.Windows.Forms.Label();
62      this.minTreeSizeTextBox = new System.Windows.Forms.TextBox();
63      this.label3 = new System.Windows.Forms.Label();
64      this.minTreeHeightTextBox = new System.Windows.Forms.TextBox();
65      this.label4 = new System.Windows.Forms.Label();
66      this.maxSubTreesTextBox = new System.Windows.Forms.TextBox();
67      this.label2 = new System.Windows.Forms.Label();
68      this.minSubTreesTextBox = new System.Windows.Forms.TextBox();
69      this.label1 = new System.Windows.Forms.Label();
70      this.nameTextBox = new System.Windows.Forms.TextBox();
71      this.nameLabel = new System.Windows.Forms.Label();
72      this.functionPropertiesErrorProvider = new System.Windows.Forms.ErrorProvider(this.components);
73      this.groupBox.SuspendLayout();
74      this.subTreesGroupBox.SuspendLayout();
75      ((System.ComponentModel.ISupportInitialize)(this.functionPropertiesErrorProvider)).BeginInit();
76      this.SuspendLayout();
77      //
78      // groupBox
79      //
80      this.groupBox.Controls.Add(this.subTreesGroupBox);
81      this.groupBox.Controls.Add(this.editManipulatorButton);
82      this.groupBox.Controls.Add(this.manipulatorTextBox);
83      this.groupBox.Controls.Add(this.initializerTextBox);
84      this.groupBox.Controls.Add(this.editInitializerButton);
85      this.groupBox.Controls.Add(this.label8);
86      this.groupBox.Controls.Add(this.label7);
87      this.groupBox.Controls.Add(this.ticketsTextBox);
88      this.groupBox.Controls.Add(this.label5);
89      this.groupBox.Controls.Add(this.minTreeSizeTextBox);
90      this.groupBox.Controls.Add(this.label3);
91      this.groupBox.Controls.Add(this.minTreeHeightTextBox);
92      this.groupBox.Controls.Add(this.label4);
93      this.groupBox.Controls.Add(this.maxSubTreesTextBox);
94      this.groupBox.Controls.Add(this.label2);
95      this.groupBox.Controls.Add(this.minSubTreesTextBox);
96      this.groupBox.Controls.Add(this.label1);
97      this.groupBox.Controls.Add(this.nameTextBox);
98      this.groupBox.Controls.Add(this.nameLabel);
99      this.groupBox.Dock = System.Windows.Forms.DockStyle.Fill;
100      this.groupBox.Location = new System.Drawing.Point(0, 0);
101      this.groupBox.Name = "groupBox";
102      this.groupBox.Size = new System.Drawing.Size(432, 514);
103      this.groupBox.TabIndex = 0;
104      this.groupBox.TabStop = false;
105      this.groupBox.Text = "Function";
106      //
107      // subTreesGroupBox
108      //
109      this.subTreesGroupBox.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
110                  | System.Windows.Forms.AnchorStyles.Left)
111                  | System.Windows.Forms.AnchorStyles.Right)));
112      this.subTreesGroupBox.Controls.Add(this.label6);
113      this.subTreesGroupBox.Controls.Add(this.argumentComboBox);
114      this.subTreesGroupBox.Controls.Add(this.subFunctionsListBox);
115      this.subTreesGroupBox.Location = new System.Drawing.Point(9, 228);
116      this.subTreesGroupBox.Name = "subTreesGroupBox";
117      this.subTreesGroupBox.Size = new System.Drawing.Size(417, 280);
118      this.subTreesGroupBox.TabIndex = 22;
119      this.subTreesGroupBox.TabStop = false;
120      this.subTreesGroupBox.Text = "Allowed sub trees:";
121      //
122      // label6
123      //
124      this.label6.AutoSize = true;
125      this.label6.Location = new System.Drawing.Point(6, 22);
126      this.label6.Name = "label6";
127      this.label6.Size = new System.Drawing.Size(76, 13);
128      this.label6.TabIndex = 23;
129      this.label6.Text = "n-th Argument:";
130      //
131      // argumentComboBox
132      //
133      this.argumentComboBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
134                  | System.Windows.Forms.AnchorStyles.Right)));
135      this.argumentComboBox.FormattingEnabled = true;
136      this.argumentComboBox.Location = new System.Drawing.Point(88, 19);
137      this.argumentComboBox.Name = "argumentComboBox";
138      this.argumentComboBox.Size = new System.Drawing.Size(129, 21);
139      this.argumentComboBox.TabIndex = 20;
140      this.argumentComboBox.SelectedIndexChanged += new System.EventHandler(this.argumentComboBox_SelectedIndexChanged);
141      //
142      // subFunctionsListBox
143      //
144      this.subFunctionsListBox.AllowDrop = true;
145      this.subFunctionsListBox.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
146                  | System.Windows.Forms.AnchorStyles.Left)
147                  | System.Windows.Forms.AnchorStyles.Right)));
148      this.subFunctionsListBox.FormattingEnabled = true;
149      this.subFunctionsListBox.Location = new System.Drawing.Point(6, 46);
150      this.subFunctionsListBox.Name = "subFunctionsListBox";
151      this.subFunctionsListBox.Size = new System.Drawing.Size(405, 225);
152      this.subFunctionsListBox.TabIndex = 12;
153      this.subFunctionsListBox.DragOver += new System.Windows.Forms.DragEventHandler(this.subFunctionsListBox_DragOver);
154      this.subFunctionsListBox.DragDrop += new System.Windows.Forms.DragEventHandler(this.subFunctionsListBox_DragDrop);
155      this.subFunctionsListBox.DragEnter += new System.Windows.Forms.DragEventHandler(this.subFunctionsListBox_DragEnter);
156      this.subFunctionsListBox.KeyUp += new System.Windows.Forms.KeyEventHandler(this.subFunctionsListBox_KeyUp);
157      //
158      // editManipulatorButton
159      //
160      this.editManipulatorButton.Location = new System.Drawing.Point(232, 199);
161      this.editManipulatorButton.Name = "editManipulatorButton";
162      this.editManipulatorButton.Size = new System.Drawing.Size(75, 23);
163      this.editManipulatorButton.TabIndex = 19;
164      this.editManipulatorButton.Text = "Edit...";
165      this.editManipulatorButton.UseVisualStyleBackColor = true;
166      this.editManipulatorButton.Click += new System.EventHandler(this.editManipulatorButton_Click);
167      //
168      // manipulatorTextBox
169      //
170      this.manipulatorTextBox.Location = new System.Drawing.Point(126, 201);
171      this.manipulatorTextBox.Name = "manipulatorTextBox";
172      this.manipulatorTextBox.ReadOnly = true;
173      this.manipulatorTextBox.Size = new System.Drawing.Size(100, 20);
174      this.manipulatorTextBox.TabIndex = 18;
175      //
176      // initializerTextBox
177      //
178      this.initializerTextBox.Location = new System.Drawing.Point(126, 175);
179      this.initializerTextBox.Name = "initializerTextBox";
180      this.initializerTextBox.ReadOnly = true;
181      this.initializerTextBox.Size = new System.Drawing.Size(100, 20);
182      this.initializerTextBox.TabIndex = 17;
183      //
184      // editInitializerButton
185      //
186      this.editInitializerButton.Location = new System.Drawing.Point(232, 173);
187      this.editInitializerButton.Name = "editInitializerButton";
188      this.editInitializerButton.Size = new System.Drawing.Size(75, 23);
189      this.editInitializerButton.TabIndex = 16;
190      this.editInitializerButton.Text = "Edit...";
191      this.editInitializerButton.UseVisualStyleBackColor = true;
192      this.editInitializerButton.Click += new System.EventHandler(this.editInitializerButton_Click);
193      //
194      // label8
195      //
196      this.label8.AutoSize = true;
197      this.label8.Location = new System.Drawing.Point(6, 204);
198      this.label8.Name = "label8";
199      this.label8.Size = new System.Drawing.Size(65, 13);
200      this.label8.TabIndex = 15;
201      this.label8.Text = "Manipulator:";
202      //
203      // label7
204      //
205      this.label7.AutoSize = true;
206      this.label7.Location = new System.Drawing.Point(6, 178);
207      this.label7.Name = "label7";
208      this.label7.Size = new System.Drawing.Size(50, 13);
209      this.label7.TabIndex = 14;
210      this.label7.Text = "Initializer:";
211      //
212      // ticketsTextBox
213      //
214      this.ticketsTextBox.Location = new System.Drawing.Point(126, 97);
215      this.ticketsTextBox.Name = "ticketsTextBox";
216      this.ticketsTextBox.Size = new System.Drawing.Size(100, 20);
217      this.ticketsTextBox.TabIndex = 11;
218      this.ticketsTextBox.TextChanged += new System.EventHandler(this.ticketsTextBox_TextChanged);
219      //
220      // label5
221      //
222      this.label5.AutoSize = true;
223      this.label5.Location = new System.Drawing.Point(6, 100);
224      this.label5.Name = "label5";
225      this.label5.Size = new System.Drawing.Size(45, 13);
226      this.label5.TabIndex = 10;
227      this.label5.Text = "Tickets:";
228      //
229      // minTreeSizeTextBox
230      //
231      this.minTreeSizeTextBox.Location = new System.Drawing.Point(126, 149);
232      this.minTreeSizeTextBox.Name = "minTreeSizeTextBox";
233      this.minTreeSizeTextBox.ReadOnly = true;
234      this.minTreeSizeTextBox.Size = new System.Drawing.Size(100, 20);
235      this.minTreeSizeTextBox.TabIndex = 9;
236      //
237      // label3
238      //
239      this.label3.AutoSize = true;
240      this.label3.Location = new System.Drawing.Point(6, 152);
241      this.label3.Name = "label3";
242      this.label3.Size = new System.Drawing.Size(72, 13);
243      this.label3.TabIndex = 8;
244      this.label3.Text = "Min. tree size:";
245      //
246      // minTreeHeightTextBox
247      //
248      this.minTreeHeightTextBox.Location = new System.Drawing.Point(126, 123);
249      this.minTreeHeightTextBox.Name = "minTreeHeightTextBox";
250      this.minTreeHeightTextBox.ReadOnly = true;
251      this.minTreeHeightTextBox.Size = new System.Drawing.Size(100, 20);
252      this.minTreeHeightTextBox.TabIndex = 7;
253      //
254      // label4
255      //
256      this.label4.AutoSize = true;
257      this.label4.Location = new System.Drawing.Point(4, 126);
258      this.label4.Name = "label4";
259      this.label4.Size = new System.Drawing.Size(83, 13);
260      this.label4.TabIndex = 6;
261      this.label4.Text = "Min. tree height:";
262      //
263      // maxSubTreesTextBox
264      //
265      this.maxSubTreesTextBox.Location = new System.Drawing.Point(126, 71);
266      this.maxSubTreesTextBox.Name = "maxSubTreesTextBox";
267      this.maxSubTreesTextBox.Size = new System.Drawing.Size(100, 20);
268      this.maxSubTreesTextBox.TabIndex = 5;
269      this.maxSubTreesTextBox.TextChanged += new System.EventHandler(this.maxSubTreesTextBox_TextChanged);
270      //
271      // label2
272      //
273      this.label2.AutoSize = true;
274      this.label2.Location = new System.Drawing.Point(6, 74);
275      this.label2.Name = "label2";
276      this.label2.Size = new System.Drawing.Size(79, 13);
277      this.label2.TabIndex = 4;
278      this.label2.Text = "Max. sub trees:";
279      //
280      // minSubTreesTextBox
281      //
282      this.minSubTreesTextBox.Location = new System.Drawing.Point(126, 45);
283      this.minSubTreesTextBox.Name = "minSubTreesTextBox";
284      this.minSubTreesTextBox.Size = new System.Drawing.Size(100, 20);
285      this.minSubTreesTextBox.TabIndex = 3;
286      this.minSubTreesTextBox.TextChanged += new System.EventHandler(this.minSubTreesTextBox_TextChanged);
287      //
288      // label1
289      //
290      this.label1.AutoSize = true;
291      this.label1.Location = new System.Drawing.Point(6, 48);
292      this.label1.Name = "label1";
293      this.label1.Size = new System.Drawing.Size(76, 13);
294      this.label1.TabIndex = 2;
295      this.label1.Text = "Min. sub trees:";
296      //
297      // nameTextBox
298      //
299      this.nameTextBox.Location = new System.Drawing.Point(126, 19);
300      this.nameTextBox.Name = "nameTextBox";
301      this.nameTextBox.Size = new System.Drawing.Size(100, 20);
302      this.nameTextBox.TabIndex = 1;
303      this.nameTextBox.TextChanged += new System.EventHandler(this.nameTextBox_TextChanged);
304      //
305      // nameLabel
306      //
307      this.nameLabel.AutoSize = true;
308      this.nameLabel.Location = new System.Drawing.Point(6, 22);
309      this.nameLabel.Name = "nameLabel";
310      this.nameLabel.Size = new System.Drawing.Size(38, 13);
311      this.nameLabel.TabIndex = 0;
312      this.nameLabel.Text = "Name:";
313      //
314      // functionPropertiesErrorProvider
315      //
316      this.functionPropertiesErrorProvider.ContainerControl = this;
317      //
318      // FunctionView
319      //
320      this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
321      this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
322      this.Controls.Add(this.groupBox);
323      this.Name = "FunctionView";
324      this.Size = new System.Drawing.Size(432, 514);
325      this.groupBox.ResumeLayout(false);
326      this.groupBox.PerformLayout();
327      this.subTreesGroupBox.ResumeLayout(false);
328      this.subTreesGroupBox.PerformLayout();
329      ((System.ComponentModel.ISupportInitialize)(this.functionPropertiesErrorProvider)).EndInit();
330      this.ResumeLayout(false);
331
332    }
333
334    #endregion
335
336    private System.Windows.Forms.GroupBox groupBox;
337    private System.Windows.Forms.TextBox minSubTreesTextBox;
338    private System.Windows.Forms.Label label1;
339    private System.Windows.Forms.TextBox nameTextBox;
340    private System.Windows.Forms.Label nameLabel;
341    private System.Windows.Forms.TextBox maxSubTreesTextBox;
342    private System.Windows.Forms.Label label2;
343    private System.Windows.Forms.TextBox minTreeSizeTextBox;
344    private System.Windows.Forms.Label label3;
345    private System.Windows.Forms.TextBox minTreeHeightTextBox;
346    private System.Windows.Forms.Label label4;
347    private System.Windows.Forms.TextBox ticketsTextBox;
348    private System.Windows.Forms.Label label5;
349    private System.Windows.Forms.ListBox subFunctionsListBox;
350    private System.Windows.Forms.Label label7;
351    private System.Windows.Forms.Button editManipulatorButton;
352    private System.Windows.Forms.TextBox manipulatorTextBox;
353    private System.Windows.Forms.TextBox initializerTextBox;
354    private System.Windows.Forms.Button editInitializerButton;
355    private System.Windows.Forms.Label label8;
356    private System.Windows.Forms.ComboBox argumentComboBox;
357    private System.Windows.Forms.GroupBox subTreesGroupBox;
358    private System.Windows.Forms.Label label6;
359    private System.Windows.Forms.ErrorProvider functionPropertiesErrorProvider;
360
361  }
362}
Note: See TracBrowser for help on using the repository browser.