Free cookie consent management tool by TermsFeed Policy Generator

source: trunk/sources/HeuristicLab.StructureIdentification/GPOperatorLibraryEditor.Designer.cs @ 606

Last change on this file since 606 was 432, checked in by gkronber, 16 years ago
  • removed the button and methods for manual recalculation of min tree bounds introduced with r423 because it soon won't be needed anymore
  • GPOperatorGroup adds event-handlers to SubOperatorTypeConstraints on the operators added to the library to automatically update min tree size and height when any of them is changed.

(ticket #225)

File size: 11.0 KB
RevLine 
[2]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.StructureIdentification {
23  partial class GPOperatorLibraryEditor {
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(disposing && (components != null)) {
35        components.Dispose();
36      }
37      base.Dispose(disposing);
38    }
39
40    #region Component Designer generated code
41
42    /// <summary>
43    /// Required method for Designer support - do not modify
44    /// the contents of this method with the code editor.
45    /// </summary>
46    private void InitializeComponent() {
47      this.operatorLibraryEditor = new HeuristicLab.Core.OperatorLibraryEditor();
48      this.tabControl = new System.Windows.Forms.TabControl();
49      this.operatorLibraryTabPage = new System.Windows.Forms.TabPage();
50      this.initializationTabPage = new System.Windows.Forms.TabPage();
51      this.initSplitContainer = new System.Windows.Forms.SplitContainer();
52      this.initListView = new System.Windows.Forms.ListView();
53      this.initVariableView = new HeuristicLab.Core.VariableView();
54      this.mutationTabPage = new System.Windows.Forms.TabPage();
55      this.mutationSplitContainer = new System.Windows.Forms.SplitContainer();
[423]56      this.mutationListView = new System.Windows.Forms.ListView();
[2]57      this.mutationVariableView = new HeuristicLab.Core.VariableView();
58      this.tabControl.SuspendLayout();
59      this.operatorLibraryTabPage.SuspendLayout();
60      this.initializationTabPage.SuspendLayout();
61      this.initSplitContainer.Panel1.SuspendLayout();
62      this.initSplitContainer.Panel2.SuspendLayout();
63      this.initSplitContainer.SuspendLayout();
64      this.mutationTabPage.SuspendLayout();
65      this.mutationSplitContainer.Panel1.SuspendLayout();
66      this.mutationSplitContainer.Panel2.SuspendLayout();
67      this.mutationSplitContainer.SuspendLayout();
68      this.SuspendLayout();
69      //
70      // operatorLibraryEditor
71      //
72      this.operatorLibraryEditor.Caption = "Operator Library";
73      this.operatorLibraryEditor.Dock = System.Windows.Forms.DockStyle.Fill;
74      this.operatorLibraryEditor.Filename = null;
75      this.operatorLibraryEditor.Location = new System.Drawing.Point(3, 3);
76      this.operatorLibraryEditor.Name = "operatorLibraryEditor";
77      this.operatorLibraryEditor.OperatorLibrary = null;
78      this.operatorLibraryEditor.Size = new System.Drawing.Size(663, 529);
79      this.operatorLibraryEditor.TabIndex = 0;
80      //
81      // tabControl
82      //
83      this.tabControl.Controls.Add(this.operatorLibraryTabPage);
84      this.tabControl.Controls.Add(this.initializationTabPage);
85      this.tabControl.Controls.Add(this.mutationTabPage);
86      this.tabControl.Dock = System.Windows.Forms.DockStyle.Fill;
87      this.tabControl.Location = new System.Drawing.Point(0, 0);
88      this.tabControl.Name = "tabControl";
89      this.tabControl.SelectedIndex = 0;
90      this.tabControl.Size = new System.Drawing.Size(677, 561);
91      this.tabControl.TabIndex = 1;
92      //
93      // operatorLibraryTabPage
94      //
95      this.operatorLibraryTabPage.Controls.Add(this.operatorLibraryEditor);
96      this.operatorLibraryTabPage.Location = new System.Drawing.Point(4, 22);
97      this.operatorLibraryTabPage.Name = "operatorLibraryTabPage";
98      this.operatorLibraryTabPage.Padding = new System.Windows.Forms.Padding(3);
99      this.operatorLibraryTabPage.Size = new System.Drawing.Size(669, 535);
100      this.operatorLibraryTabPage.TabIndex = 0;
101      this.operatorLibraryTabPage.Text = "Operator Library";
102      this.operatorLibraryTabPage.UseVisualStyleBackColor = true;
103      //
104      // initializationTabPage
105      //
106      this.initializationTabPage.Controls.Add(this.initSplitContainer);
107      this.initializationTabPage.Location = new System.Drawing.Point(4, 22);
108      this.initializationTabPage.Name = "initializationTabPage";
109      this.initializationTabPage.Padding = new System.Windows.Forms.Padding(3);
110      this.initializationTabPage.Size = new System.Drawing.Size(669, 535);
111      this.initializationTabPage.TabIndex = 1;
112      this.initializationTabPage.Text = "Initialization";
113      this.initializationTabPage.UseVisualStyleBackColor = true;
114      //
115      // initSplitContainer
116      //
117      this.initSplitContainer.Dock = System.Windows.Forms.DockStyle.Fill;
118      this.initSplitContainer.Location = new System.Drawing.Point(3, 3);
119      this.initSplitContainer.Name = "initSplitContainer";
120      //
121      // initSplitContainer.Panel1
122      //
123      this.initSplitContainer.Panel1.Controls.Add(this.initListView);
124      //
125      // initSplitContainer.Panel2
126      //
127      this.initSplitContainer.Panel2.Controls.Add(this.initVariableView);
128      this.initSplitContainer.Size = new System.Drawing.Size(663, 529);
129      this.initSplitContainer.SplitterDistance = 221;
130      this.initSplitContainer.TabIndex = 0;
131      //
132      // initListView
133      //
134      this.initListView.Dock = System.Windows.Forms.DockStyle.Fill;
135      this.initListView.Location = new System.Drawing.Point(0, 0);
136      this.initListView.Name = "initListView";
137      this.initListView.Size = new System.Drawing.Size(221, 529);
138      this.initListView.TabIndex = 0;
139      this.initListView.UseCompatibleStateImageBehavior = false;
140      this.initListView.View = System.Windows.Forms.View.List;
141      this.initListView.SelectedIndexChanged += new System.EventHandler(this.initListView_SelectedIndexChanged);
142      //
143      // initVariableView
144      //
145      this.initVariableView.Caption = "Variable";
146      this.initVariableView.Dock = System.Windows.Forms.DockStyle.Fill;
147      this.initVariableView.Location = new System.Drawing.Point(0, 0);
148      this.initVariableView.Name = "initVariableView";
149      this.initVariableView.Size = new System.Drawing.Size(438, 529);
150      this.initVariableView.TabIndex = 0;
151      this.initVariableView.Variable = null;
152      //
153      // mutationTabPage
154      //
155      this.mutationTabPage.Controls.Add(this.mutationSplitContainer);
156      this.mutationTabPage.Location = new System.Drawing.Point(4, 22);
157      this.mutationTabPage.Name = "mutationTabPage";
158      this.mutationTabPage.Padding = new System.Windows.Forms.Padding(3);
159      this.mutationTabPage.Size = new System.Drawing.Size(669, 535);
160      this.mutationTabPage.TabIndex = 2;
161      this.mutationTabPage.Text = "Mutation";
162      this.mutationTabPage.UseVisualStyleBackColor = true;
163      //
164      // mutationSplitContainer
165      //
166      this.mutationSplitContainer.Dock = System.Windows.Forms.DockStyle.Fill;
167      this.mutationSplitContainer.Location = new System.Drawing.Point(3, 3);
168      this.mutationSplitContainer.Name = "mutationSplitContainer";
169      //
170      // mutationSplitContainer.Panel1
171      //
172      this.mutationSplitContainer.Panel1.Controls.Add(this.mutationListView);
173      //
174      // mutationSplitContainer.Panel2
175      //
176      this.mutationSplitContainer.Panel2.Controls.Add(this.mutationVariableView);
177      this.mutationSplitContainer.Size = new System.Drawing.Size(663, 529);
178      this.mutationSplitContainer.SplitterDistance = 221;
179      this.mutationSplitContainer.TabIndex = 0;
180      //
181      // mutationListView
182      //
183      this.mutationListView.Dock = System.Windows.Forms.DockStyle.Fill;
184      this.mutationListView.Location = new System.Drawing.Point(0, 0);
185      this.mutationListView.MultiSelect = false;
186      this.mutationListView.Name = "mutationListView";
187      this.mutationListView.Size = new System.Drawing.Size(221, 529);
188      this.mutationListView.TabIndex = 0;
189      this.mutationListView.UseCompatibleStateImageBehavior = false;
190      this.mutationListView.View = System.Windows.Forms.View.List;
191      this.mutationListView.SelectedIndexChanged += new System.EventHandler(this.mutationListView_SelectedIndexChanged);
192      //
[423]193      // mutationVariableView
194      //
195      this.mutationVariableView.Caption = "Variable";
196      this.mutationVariableView.Dock = System.Windows.Forms.DockStyle.Fill;
197      this.mutationVariableView.Location = new System.Drawing.Point(0, 0);
198      this.mutationVariableView.Name = "mutationVariableView";
199      this.mutationVariableView.Size = new System.Drawing.Size(438, 529);
200      this.mutationVariableView.TabIndex = 0;
201      this.mutationVariableView.Variable = null;
202      //
[2]203      // GPOperatorLibraryEditor
204      //
205      this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
206      this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
207      this.Controls.Add(this.tabControl);
208      this.Name = "GPOperatorLibraryEditor";
209      this.Size = new System.Drawing.Size(677, 561);
210      this.tabControl.ResumeLayout(false);
211      this.operatorLibraryTabPage.ResumeLayout(false);
212      this.initializationTabPage.ResumeLayout(false);
213      this.initSplitContainer.Panel1.ResumeLayout(false);
214      this.initSplitContainer.Panel2.ResumeLayout(false);
215      this.initSplitContainer.ResumeLayout(false);
216      this.mutationTabPage.ResumeLayout(false);
217      this.mutationSplitContainer.Panel1.ResumeLayout(false);
218      this.mutationSplitContainer.Panel2.ResumeLayout(false);
219      this.mutationSplitContainer.ResumeLayout(false);
220      this.ResumeLayout(false);
221
222    }
223
224    #endregion
225
226    private HeuristicLab.Core.OperatorLibraryEditor operatorLibraryEditor;
227    private System.Windows.Forms.TabControl tabControl;
228    private System.Windows.Forms.TabPage operatorLibraryTabPage;
229    private System.Windows.Forms.TabPage initializationTabPage;
230    private System.Windows.Forms.TabPage mutationTabPage;
231    private System.Windows.Forms.SplitContainer initSplitContainer;
232    private System.Windows.Forms.SplitContainer mutationSplitContainer;
233    private HeuristicLab.Core.VariableView initVariableView;
234    private HeuristicLab.Core.VariableView mutationVariableView;
235    private System.Windows.Forms.ListView initListView;
236    private System.Windows.Forms.ListView mutationListView;
237  }
238}
Note: See TracBrowser for help on using the repository browser.