Free cookie consent management tool by TermsFeed Policy Generator

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

Last change on this file since 3200 was 2843, checked in by gkronber, 15 years ago

Removed max. and min. time offset constraints as algorithm parameters and from all engines. The time constraints were added to the relevant terminal symbols (variable & differential) instead. The time offset constraint can be changed by editing the symbols in the function library. #880 (Max and min time offsets for variable symbols are not set correctly by FunctionLibraryInjectors)
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
[2843]337    protected System.Windows.Forms.GroupBox groupBox;
338    protected System.Windows.Forms.TextBox minSubTreesTextBox;
339    protected System.Windows.Forms.Label label1;
340    protected System.Windows.Forms.TextBox nameTextBox;
341    protected System.Windows.Forms.Label nameLabel;
342    protected System.Windows.Forms.TextBox maxSubTreesTextBox;
343    protected System.Windows.Forms.Label label2;
344    protected System.Windows.Forms.TextBox minTreeSizeTextBox;
345    protected System.Windows.Forms.Label label3;
346    protected System.Windows.Forms.TextBox minTreeHeightTextBox;
347    protected System.Windows.Forms.Label label4;
348    protected System.Windows.Forms.TextBox ticketsTextBox;
349    protected System.Windows.Forms.Label label5;
350    protected System.Windows.Forms.ListBox subFunctionsListBox;
351    protected System.Windows.Forms.Label label7;
352    protected System.Windows.Forms.Button editManipulatorButton;
353    protected System.Windows.Forms.TextBox manipulatorTextBox;
354    protected System.Windows.Forms.TextBox initializerTextBox;
355    protected System.Windows.Forms.Button editInitializerButton;
356    protected System.Windows.Forms.Label label8;
357    protected System.Windows.Forms.ComboBox argumentComboBox;
358    protected System.Windows.Forms.GroupBox subTreesGroupBox;
359    protected System.Windows.Forms.Label label6;
360    protected System.Windows.Forms.ErrorProvider functionPropertiesErrorProvider;
[2701]361
[2843]362
[2701]363  }
364}
Note: See TracBrowser for help on using the repository browser.