Free cookie consent management tool by TermsFeed Policy Generator

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

Last change on this file since 2815 was 2729, checked in by gkronber, 15 years ago

Fixed problems in persistence and cloning of functions and function libraries. Added test-functionality to editor for function libraries. Fixed bugs in editor for function libraries. #748 (FunctionLibraryView is empty)
File size: 16.5 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";
[2729]151      this.subFunctionsListBox.SelectionMode = System.Windows.Forms.SelectionMode.MultiExtended;
[2701]152      this.subFunctionsListBox.Size = new System.Drawing.Size(405, 225);
153      this.subFunctionsListBox.TabIndex = 12;
154      this.subFunctionsListBox.DragOver += new System.Windows.Forms.DragEventHandler(this.subFunctionsListBox_DragOver);
155      this.subFunctionsListBox.DragDrop += new System.Windows.Forms.DragEventHandler(this.subFunctionsListBox_DragDrop);
156      this.subFunctionsListBox.DragEnter += new System.Windows.Forms.DragEventHandler(this.subFunctionsListBox_DragEnter);
157      this.subFunctionsListBox.KeyUp += new System.Windows.Forms.KeyEventHandler(this.subFunctionsListBox_KeyUp);
158      //
159      // editManipulatorButton
160      //
161      this.editManipulatorButton.Location = new System.Drawing.Point(232, 199);
162      this.editManipulatorButton.Name = "editManipulatorButton";
163      this.editManipulatorButton.Size = new System.Drawing.Size(75, 23);
164      this.editManipulatorButton.TabIndex = 19;
165      this.editManipulatorButton.Text = "Edit...";
166      this.editManipulatorButton.UseVisualStyleBackColor = true;
167      this.editManipulatorButton.Click += new System.EventHandler(this.editManipulatorButton_Click);
168      //
169      // manipulatorTextBox
170      //
171      this.manipulatorTextBox.Location = new System.Drawing.Point(126, 201);
172      this.manipulatorTextBox.Name = "manipulatorTextBox";
173      this.manipulatorTextBox.ReadOnly = true;
174      this.manipulatorTextBox.Size = new System.Drawing.Size(100, 20);
175      this.manipulatorTextBox.TabIndex = 18;
176      //
177      // initializerTextBox
178      //
179      this.initializerTextBox.Location = new System.Drawing.Point(126, 175);
180      this.initializerTextBox.Name = "initializerTextBox";
181      this.initializerTextBox.ReadOnly = true;
182      this.initializerTextBox.Size = new System.Drawing.Size(100, 20);
183      this.initializerTextBox.TabIndex = 17;
184      //
185      // editInitializerButton
186      //
187      this.editInitializerButton.Location = new System.Drawing.Point(232, 173);
188      this.editInitializerButton.Name = "editInitializerButton";
189      this.editInitializerButton.Size = new System.Drawing.Size(75, 23);
190      this.editInitializerButton.TabIndex = 16;
191      this.editInitializerButton.Text = "Edit...";
192      this.editInitializerButton.UseVisualStyleBackColor = true;
193      this.editInitializerButton.Click += new System.EventHandler(this.editInitializerButton_Click);
194      //
195      // label8
196      //
197      this.label8.AutoSize = true;
198      this.label8.Location = new System.Drawing.Point(6, 204);
199      this.label8.Name = "label8";
200      this.label8.Size = new System.Drawing.Size(65, 13);
201      this.label8.TabIndex = 15;
202      this.label8.Text = "Manipulator:";
203      //
204      // label7
205      //
206      this.label7.AutoSize = true;
207      this.label7.Location = new System.Drawing.Point(6, 178);
208      this.label7.Name = "label7";
209      this.label7.Size = new System.Drawing.Size(50, 13);
210      this.label7.TabIndex = 14;
211      this.label7.Text = "Initializer:";
212      //
213      // ticketsTextBox
214      //
215      this.ticketsTextBox.Location = new System.Drawing.Point(126, 97);
216      this.ticketsTextBox.Name = "ticketsTextBox";
217      this.ticketsTextBox.Size = new System.Drawing.Size(100, 20);
218      this.ticketsTextBox.TabIndex = 11;
219      this.ticketsTextBox.TextChanged += new System.EventHandler(this.ticketsTextBox_TextChanged);
220      //
221      // label5
222      //
223      this.label5.AutoSize = true;
224      this.label5.Location = new System.Drawing.Point(6, 100);
225      this.label5.Name = "label5";
226      this.label5.Size = new System.Drawing.Size(45, 13);
227      this.label5.TabIndex = 10;
228      this.label5.Text = "Tickets:";
229      //
230      // minTreeSizeTextBox
231      //
232      this.minTreeSizeTextBox.Location = new System.Drawing.Point(126, 149);
233      this.minTreeSizeTextBox.Name = "minTreeSizeTextBox";
234      this.minTreeSizeTextBox.ReadOnly = true;
235      this.minTreeSizeTextBox.Size = new System.Drawing.Size(100, 20);
236      this.minTreeSizeTextBox.TabIndex = 9;
237      //
238      // label3
239      //
240      this.label3.AutoSize = true;
241      this.label3.Location = new System.Drawing.Point(6, 152);
242      this.label3.Name = "label3";
243      this.label3.Size = new System.Drawing.Size(72, 13);
244      this.label3.TabIndex = 8;
245      this.label3.Text = "Min. tree size:";
246      //
247      // minTreeHeightTextBox
248      //
249      this.minTreeHeightTextBox.Location = new System.Drawing.Point(126, 123);
250      this.minTreeHeightTextBox.Name = "minTreeHeightTextBox";
251      this.minTreeHeightTextBox.ReadOnly = true;
252      this.minTreeHeightTextBox.Size = new System.Drawing.Size(100, 20);
253      this.minTreeHeightTextBox.TabIndex = 7;
254      //
255      // label4
256      //
257      this.label4.AutoSize = true;
258      this.label4.Location = new System.Drawing.Point(4, 126);
259      this.label4.Name = "label4";
260      this.label4.Size = new System.Drawing.Size(83, 13);
261      this.label4.TabIndex = 6;
262      this.label4.Text = "Min. tree height:";
263      //
264      // maxSubTreesTextBox
265      //
266      this.maxSubTreesTextBox.Location = new System.Drawing.Point(126, 71);
267      this.maxSubTreesTextBox.Name = "maxSubTreesTextBox";
268      this.maxSubTreesTextBox.Size = new System.Drawing.Size(100, 20);
269      this.maxSubTreesTextBox.TabIndex = 5;
270      this.maxSubTreesTextBox.TextChanged += new System.EventHandler(this.maxSubTreesTextBox_TextChanged);
271      //
272      // label2
273      //
274      this.label2.AutoSize = true;
275      this.label2.Location = new System.Drawing.Point(6, 74);
276      this.label2.Name = "label2";
277      this.label2.Size = new System.Drawing.Size(79, 13);
278      this.label2.TabIndex = 4;
279      this.label2.Text = "Max. sub trees:";
280      //
281      // minSubTreesTextBox
282      //
283      this.minSubTreesTextBox.Location = new System.Drawing.Point(126, 45);
284      this.minSubTreesTextBox.Name = "minSubTreesTextBox";
285      this.minSubTreesTextBox.Size = new System.Drawing.Size(100, 20);
286      this.minSubTreesTextBox.TabIndex = 3;
287      this.minSubTreesTextBox.TextChanged += new System.EventHandler(this.minSubTreesTextBox_TextChanged);
288      //
289      // label1
290      //
291      this.label1.AutoSize = true;
292      this.label1.Location = new System.Drawing.Point(6, 48);
293      this.label1.Name = "label1";
294      this.label1.Size = new System.Drawing.Size(76, 13);
295      this.label1.TabIndex = 2;
296      this.label1.Text = "Min. sub trees:";
297      //
298      // nameTextBox
299      //
300      this.nameTextBox.Location = new System.Drawing.Point(126, 19);
301      this.nameTextBox.Name = "nameTextBox";
302      this.nameTextBox.Size = new System.Drawing.Size(100, 20);
303      this.nameTextBox.TabIndex = 1;
304      this.nameTextBox.TextChanged += new System.EventHandler(this.nameTextBox_TextChanged);
305      //
306      // nameLabel
307      //
308      this.nameLabel.AutoSize = true;
309      this.nameLabel.Location = new System.Drawing.Point(6, 22);
310      this.nameLabel.Name = "nameLabel";
311      this.nameLabel.Size = new System.Drawing.Size(38, 13);
312      this.nameLabel.TabIndex = 0;
313      this.nameLabel.Text = "Name:";
314      //
315      // functionPropertiesErrorProvider
316      //
317      this.functionPropertiesErrorProvider.ContainerControl = this;
318      //
319      // FunctionView
320      //
321      this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
322      this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
323      this.Controls.Add(this.groupBox);
324      this.Name = "FunctionView";
325      this.Size = new System.Drawing.Size(432, 514);
326      this.groupBox.ResumeLayout(false);
327      this.groupBox.PerformLayout();
328      this.subTreesGroupBox.ResumeLayout(false);
329      this.subTreesGroupBox.PerformLayout();
330      ((System.ComponentModel.ISupportInitialize)(this.functionPropertiesErrorProvider)).EndInit();
331      this.ResumeLayout(false);
332
333    }
334
335    #endregion
336
337    private System.Windows.Forms.GroupBox groupBox;
338    private System.Windows.Forms.TextBox minSubTreesTextBox;
339    private System.Windows.Forms.Label label1;
340    private System.Windows.Forms.TextBox nameTextBox;
341    private System.Windows.Forms.Label nameLabel;
342    private System.Windows.Forms.TextBox maxSubTreesTextBox;
343    private System.Windows.Forms.Label label2;
344    private System.Windows.Forms.TextBox minTreeSizeTextBox;
345    private System.Windows.Forms.Label label3;
346    private System.Windows.Forms.TextBox minTreeHeightTextBox;
347    private System.Windows.Forms.Label label4;
348    private System.Windows.Forms.TextBox ticketsTextBox;
349    private System.Windows.Forms.Label label5;
350    private System.Windows.Forms.ListBox subFunctionsListBox;
351    private System.Windows.Forms.Label label7;
352    private System.Windows.Forms.Button editManipulatorButton;
353    private System.Windows.Forms.TextBox manipulatorTextBox;
354    private System.Windows.Forms.TextBox initializerTextBox;
355    private System.Windows.Forms.Button editInitializerButton;
356    private System.Windows.Forms.Label label8;
357    private System.Windows.Forms.ComboBox argumentComboBox;
358    private System.Windows.Forms.GroupBox subTreesGroupBox;
359    private System.Windows.Forms.Label label6;
360    private System.Windows.Forms.ErrorProvider functionPropertiesErrorProvider;
361
362  }
363}
Note: See TracBrowser for help on using the repository browser.