Free cookie consent management tool by TermsFeed Policy Generator

source: trunk/sources/HeuristicLab.GP.StructureIdentification/3.3/Symbols/VariableView.Designer.cs @ 2843

Last change on this file since 2843 was 2843, checked in by gkronber, 14 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: 6.0 KB
Line 
1namespace HeuristicLab.GP.StructureIdentification {
2  partial class VariableView {
3    /// <summary>
4    /// Required designer variable.
5    /// </summary>
6    private System.ComponentModel.IContainer components = null;
7
8    /// <summary>
9    /// Clean up any resources being used.
10    /// </summary>
11    /// <param name="disposing">true if managed resources should be disposed; otherwise, false.</param>
12    protected override void Dispose(bool disposing) {
13      if (disposing && (components != null)) {
14        components.Dispose();
15      }
16      base.Dispose(disposing);
17    }
18
19    #region Component Designer generated code
20
21    /// <summary>
22    /// Required method for Designer support - do not modify
23    /// the contents of this method with the code editor.
24    /// </summary>
25    private void InitializeComponent() {
26      this.label9 = new System.Windows.Forms.Label();
27      this.minTimeOffsetTextBox = new System.Windows.Forms.TextBox();
28      this.maxTimeOffsetTextBox = new System.Windows.Forms.TextBox();
29      this.label10 = new System.Windows.Forms.Label();
30      this.groupBox.SuspendLayout();
31      this.subTreesGroupBox.SuspendLayout();
32      ((System.ComponentModel.ISupportInitialize)(this.functionPropertiesErrorProvider)).BeginInit();
33      this.SuspendLayout();
34      //
35      // groupBox
36      //
37      this.groupBox.Controls.Add(this.maxTimeOffsetTextBox);
38      this.groupBox.Controls.Add(this.label10);
39      this.groupBox.Controls.Add(this.minTimeOffsetTextBox);
40      this.groupBox.Controls.Add(this.label9);
41      this.groupBox.Controls.SetChildIndex(this.label9, 0);
42      this.groupBox.Controls.SetChildIndex(this.minTimeOffsetTextBox, 0);
43      this.groupBox.Controls.SetChildIndex(this.label1, 0);
44      this.groupBox.Controls.SetChildIndex(this.minSubTreesTextBox, 0);
45      this.groupBox.Controls.SetChildIndex(this.label2, 0);
46      this.groupBox.Controls.SetChildIndex(this.maxSubTreesTextBox, 0);
47      this.groupBox.Controls.SetChildIndex(this.nameLabel, 0);
48      this.groupBox.Controls.SetChildIndex(this.nameTextBox, 0);
49      this.groupBox.Controls.SetChildIndex(this.label4, 0);
50      this.groupBox.Controls.SetChildIndex(this.minTreeHeightTextBox, 0);
51      this.groupBox.Controls.SetChildIndex(this.label3, 0);
52      this.groupBox.Controls.SetChildIndex(this.minTreeSizeTextBox, 0);
53      this.groupBox.Controls.SetChildIndex(this.label5, 0);
54      this.groupBox.Controls.SetChildIndex(this.ticketsTextBox, 0);
55      this.groupBox.Controls.SetChildIndex(this.label7, 0);
56      this.groupBox.Controls.SetChildIndex(this.label8, 0);
57      this.groupBox.Controls.SetChildIndex(this.editInitializerButton, 0);
58      this.groupBox.Controls.SetChildIndex(this.initializerTextBox, 0);
59      this.groupBox.Controls.SetChildIndex(this.manipulatorTextBox, 0);
60      this.groupBox.Controls.SetChildIndex(this.editManipulatorButton, 0);
61      this.groupBox.Controls.SetChildIndex(this.subTreesGroupBox, 0);
62      this.groupBox.Controls.SetChildIndex(this.label10, 0);
63      this.groupBox.Controls.SetChildIndex(this.maxTimeOffsetTextBox, 0);
64      //
65      // minSubTreesTextBox
66      //
67      this.minSubTreesTextBox.Enabled = false;
68      //
69      // label1
70      //
71      this.label1.Enabled = false;
72      //
73      // maxSubTreesTextBox
74      //
75      this.maxSubTreesTextBox.Enabled = false;
76      //
77      // label2
78      //
79      this.label2.Enabled = false;
80      //
81      // subFunctionsListBox
82      //
83      this.subFunctionsListBox.Size = new System.Drawing.Size(405, 173);
84      //
85      // subTreesGroupBox
86      //
87      this.subTreesGroupBox.Location = new System.Drawing.Point(9, 280);
88      this.subTreesGroupBox.Size = new System.Drawing.Size(417, 228);
89      //
90      // label9
91      //
92      this.label9.AutoSize = true;
93      this.label9.Location = new System.Drawing.Point(9, 231);
94      this.label9.Name = "label9";
95      this.label9.Size = new System.Drawing.Size(81, 13);
96      this.label9.TabIndex = 23;
97      this.label9.Text = "Min. time offset:";
98      //
99      // minTimeOffsetTextBox
100      //
101      this.minTimeOffsetTextBox.Location = new System.Drawing.Point(126, 228);
102      this.minTimeOffsetTextBox.Name = "minTimeOffsetTextBox";
103      this.minTimeOffsetTextBox.Size = new System.Drawing.Size(100, 20);
104      this.minTimeOffsetTextBox.TabIndex = 24;
105      this.minTimeOffsetTextBox.TextChanged += new System.EventHandler(this.minTimeOffsetTextBox_TextChanged);
106      //
107      // maxTimeOffsetTextBox
108      //
109      this.maxTimeOffsetTextBox.Location = new System.Drawing.Point(126, 254);
110      this.maxTimeOffsetTextBox.Name = "maxTimeOffsetTextBox";
111      this.maxTimeOffsetTextBox.Size = new System.Drawing.Size(100, 20);
112      this.maxTimeOffsetTextBox.TabIndex = 26;
113      this.maxTimeOffsetTextBox.TextChanged += new System.EventHandler(this.maxTimeOffsetTextBox_TextChanged);
114      //
115      // label10
116      //
117      this.label10.AutoSize = true;
118      this.label10.Location = new System.Drawing.Point(9, 257);
119      this.label10.Name = "label10";
120      this.label10.Size = new System.Drawing.Size(84, 13);
121      this.label10.TabIndex = 25;
122      this.label10.Text = "Max. time offset:";
123      //
124      // VariableView
125      //
126      this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
127      this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
128      this.Name = "VariableView";
129      this.groupBox.ResumeLayout(false);
130      this.groupBox.PerformLayout();
131      this.subTreesGroupBox.ResumeLayout(false);
132      this.subTreesGroupBox.PerformLayout();
133      ((System.ComponentModel.ISupportInitialize)(this.functionPropertiesErrorProvider)).EndInit();
134      this.ResumeLayout(false);
135
136    }
137
138    #endregion
139
140    private System.Windows.Forms.TextBox maxTimeOffsetTextBox;
141    private System.Windows.Forms.Label label10;
142    private System.Windows.Forms.TextBox minTimeOffsetTextBox;
143    private System.Windows.Forms.Label label9;
144  }
145}
Note: See TracBrowser for help on using the repository browser.