Free cookie consent management tool by TermsFeed Policy Generator

source: branches/2701_MemPRAlgorithm/HeuristicLab.Optimization.Views/3.3/RunCollectionViews/RunCollectionRLDView.Designer.cs @ 17021

Last change on this file since 17021 was 14420, checked in by abeham, 8 years ago

#2708: added binary version of mempr with new concepts of scope in basic alg
File size: 28.3 KB
Line 
1#region License Information
2/* HeuristicLab
3 * Copyright (C) 2002-2016 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
21namespace HeuristicLab.Optimization.Views {
22  partial class RunCollectionRLDView {
23    /// <summary>
24    /// Required designer variable.
25    /// </summary>
26    private System.ComponentModel.IContainer components = null;
27
28    /// <summary>
29    /// Clean up any resources being used.
30    /// </summary>
31    /// <param name="disposing">true if managed resources should be disposed; otherwise, false.</param>
32    protected override void Dispose(bool disposing) {
33      if (disposing && (components != null)) {
34        components.Dispose();
35      }
36      base.Dispose(disposing);
37    }
38
39    #region Component Designer generated code
40
41    /// <summary>
42    /// Required method for Designer support - do not modify
43    /// the contents of this method with the code editor.
44    /// </summary>
45    private void InitializeComponent() {
46            this.components = new System.ComponentModel.Container();
47            System.Windows.Forms.DataVisualization.Charting.ChartArea chartArea2 = new System.Windows.Forms.DataVisualization.Charting.ChartArea();
48            System.Windows.Forms.DataVisualization.Charting.Legend legend2 = new System.Windows.Forms.DataVisualization.Charting.Legend();
49            this.dataTableComboBox = new System.Windows.Forms.ComboBox();
50            this.dataTableLabel = new System.Windows.Forms.Label();
51            this.groupLabel = new System.Windows.Forms.Label();
52            this.groupComboBox = new System.Windows.Forms.ComboBox();
53            this.targetLogScalingCheckBox = new System.Windows.Forms.CheckBox();
54            this.targetsTextBox = new System.Windows.Forms.TextBox();
55            this.targetsLabel = new System.Windows.Forms.Label();
56            this.errorProvider = new System.Windows.Forms.ErrorProvider(this.components);
57            this.addTargetsAsResultButton = new System.Windows.Forms.Button();
58            this.generateTargetsButton = new System.Windows.Forms.Button();
59            this.toolTip = new System.Windows.Forms.ToolTip(this.components);
60            this.budgetsLabel = new System.Windows.Forms.Label();
61            this.budgetsTextBox = new System.Windows.Forms.TextBox();
62            this.addBudgetsAsResultButton = new System.Windows.Forms.Button();
63            this.aggregateTargetsCheckBox = new System.Windows.Forms.CheckBox();
64            this.tabControl = new System.Windows.Forms.TabControl();
65            this.byTargetTabPage = new System.Windows.Forms.TabPage();
66            this.targetChart = new HeuristicLab.Visualization.ChartControlsExtensions.EnhancedChart();
67            this.boundShadingCheckBox = new System.Windows.Forms.CheckBox();
68            this.byCostTabPage = new System.Windows.Forms.TabPage();
69            this.byCostViewHost = new HeuristicLab.MainForm.WindowsForms.ViewHost();
70            this.budgetLogScalingCheckBox = new System.Windows.Forms.CheckBox();
71            this.eachOrAllBudgetsCheckBox = new System.Windows.Forms.CheckBox();
72            this.generateBudgetsButton = new System.Windows.Forms.Button();
73            this.byTableTabPage = new System.Windows.Forms.TabPage();
74            this.ertTableView = new HeuristicLab.Data.Views.StringConvertibleMatrixView();
75            this.problemComboBox = new System.Windows.Forms.ComboBox();
76            this.problemLabel = new System.Windows.Forms.Label();
77            ((System.ComponentModel.ISupportInitialize)(this.errorProvider)).BeginInit();
78            this.tabControl.SuspendLayout();
79            this.byTargetTabPage.SuspendLayout();
80            ((System.ComponentModel.ISupportInitialize)(this.targetChart)).BeginInit();
81            this.byCostTabPage.SuspendLayout();
82            this.byTableTabPage.SuspendLayout();
83            this.SuspendLayout();
84            //
85            // dataTableComboBox
86            //
87            this.dataTableComboBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
88            | System.Windows.Forms.AnchorStyles.Right)));
89            this.dataTableComboBox.DropDownStyle = System.Windows.Forms.ComboBoxStyle.DropDownList;
90            this.dataTableComboBox.FormattingEnabled = true;
91            this.dataTableComboBox.Location = new System.Drawing.Point(69, 57);
92            this.dataTableComboBox.Name = "dataTableComboBox";
93            this.dataTableComboBox.Size = new System.Drawing.Size(582, 21);
94            this.dataTableComboBox.TabIndex = 5;
95            this.dataTableComboBox.SelectedIndexChanged += new System.EventHandler(this.dataTableComboBox_SelectedIndexChanged);
96            //
97            // dataTableLabel
98            //
99            this.dataTableLabel.AutoSize = true;
100            this.dataTableLabel.Location = new System.Drawing.Point(3, 60);
101            this.dataTableLabel.Name = "dataTableLabel";
102            this.dataTableLabel.Size = new System.Drawing.Size(60, 13);
103            this.dataTableLabel.TabIndex = 4;
104            this.dataTableLabel.Text = "DataTable:";
105            //
106            // groupLabel
107            //
108            this.groupLabel.AutoSize = true;
109            this.groupLabel.Location = new System.Drawing.Point(3, 6);
110            this.groupLabel.Name = "groupLabel";
111            this.groupLabel.Size = new System.Drawing.Size(39, 13);
112            this.groupLabel.TabIndex = 0;
113            this.groupLabel.Text = "Group:";
114            //
115            // groupComboBox
116            //
117            this.groupComboBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
118            | System.Windows.Forms.AnchorStyles.Right)));
119            this.groupComboBox.DropDownStyle = System.Windows.Forms.ComboBoxStyle.DropDownList;
120            this.groupComboBox.FormattingEnabled = true;
121            this.groupComboBox.Location = new System.Drawing.Point(69, 3);
122            this.groupComboBox.Name = "groupComboBox";
123            this.groupComboBox.Size = new System.Drawing.Size(582, 21);
124            this.groupComboBox.TabIndex = 1;
125            this.groupComboBox.SelectedIndexChanged += new System.EventHandler(this.groupComboBox_SelectedIndexChanged);
126            //
127            // targetLogScalingCheckBox
128            //
129            this.targetLogScalingCheckBox.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
130            this.targetLogScalingCheckBox.AutoSize = true;
131            this.targetLogScalingCheckBox.Location = new System.Drawing.Point(9, 364);
132            this.targetLogScalingCheckBox.Name = "targetLogScalingCheckBox";
133            this.targetLogScalingCheckBox.Size = new System.Drawing.Size(112, 17);
134            this.targetLogScalingCheckBox.TabIndex = 6;
135            this.targetLogScalingCheckBox.Text = "logarithmic scaling";
136            this.targetLogScalingCheckBox.UseVisualStyleBackColor = true;
137            this.targetLogScalingCheckBox.CheckedChanged += new System.EventHandler(this.logScalingCheckBox_CheckedChanged);
138            //
139            // targetsTextBox
140            //
141            this.targetsTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
142            | System.Windows.Forms.AnchorStyles.Right)));
143            this.targetsTextBox.Location = new System.Drawing.Point(59, 8);
144            this.targetsTextBox.Name = "targetsTextBox";
145            this.targetsTextBox.Size = new System.Drawing.Size(287, 20);
146            this.targetsTextBox.TabIndex = 1;
147            this.toolTip.SetToolTip(this.targetsTextBox, "The order of the targets is important, first to-hit targets\r\nshould be given firs" +
148        "t. The sequence should be monotonous.\r\n\r\nTargets should be separated by semicolo" +
149        "n, tab or space.");
150            this.targetsTextBox.Validating += new System.ComponentModel.CancelEventHandler(this.targetsTextBox_Validating);
151            //
152            // targetsLabel
153            //
154            this.targetsLabel.AutoSize = true;
155            this.targetsLabel.Location = new System.Drawing.Point(6, 11);
156            this.targetsLabel.Name = "targetsLabel";
157            this.targetsLabel.Size = new System.Drawing.Size(46, 13);
158            this.targetsLabel.TabIndex = 0;
159            this.targetsLabel.Text = "Targets:";
160            //
161            // errorProvider
162            //
163            this.errorProvider.ContainerControl = this;
164            //
165            // addTargetsAsResultButton
166            //
167            this.addTargetsAsResultButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Right)));
168            this.addTargetsAsResultButton.Location = new System.Drawing.Point(551, 6);
169            this.addTargetsAsResultButton.Name = "addTargetsAsResultButton";
170            this.addTargetsAsResultButton.Size = new System.Drawing.Size(89, 23);
171            this.addTargetsAsResultButton.TabIndex = 4;
172            this.addTargetsAsResultButton.Text = "Add as Result";
173            this.addTargetsAsResultButton.UseVisualStyleBackColor = true;
174            this.addTargetsAsResultButton.Click += new System.EventHandler(this.addTargetsAsResultButton_Click);
175            //
176            // generateTargetsButton
177            //
178            this.generateTargetsButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Right)));
179            this.generateTargetsButton.Location = new System.Drawing.Point(456, 6);
180            this.generateTargetsButton.Name = "generateTargetsButton";
181            this.generateTargetsButton.Size = new System.Drawing.Size(89, 23);
182            this.generateTargetsButton.TabIndex = 3;
183            this.generateTargetsButton.Text = "Generate...";
184            this.generateTargetsButton.UseVisualStyleBackColor = true;
185            this.generateTargetsButton.Click += new System.EventHandler(this.generateTargetsButton_Click);
186            //
187            // budgetsLabel
188            //
189            this.budgetsLabel.AutoSize = true;
190            this.budgetsLabel.Location = new System.Drawing.Point(6, 11);
191            this.budgetsLabel.Name = "budgetsLabel";
192            this.budgetsLabel.Size = new System.Drawing.Size(49, 13);
193            this.budgetsLabel.TabIndex = 1;
194            this.budgetsLabel.Text = "Budgets:";
195            //
196            // budgetsTextBox
197            //
198            this.budgetsTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
199            | System.Windows.Forms.AnchorStyles.Right)));
200            this.budgetsTextBox.Location = new System.Drawing.Point(59, 8);
201            this.budgetsTextBox.Name = "budgetsTextBox";
202            this.budgetsTextBox.Size = new System.Drawing.Size(326, 20);
203            this.budgetsTextBox.TabIndex = 6;
204            this.budgetsTextBox.Validating += new System.ComponentModel.CancelEventHandler(this.budgetsTextBox_Validating);
205            //
206            // addBudgetsAsResultButton
207            //
208            this.addBudgetsAsResultButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Right)));
209            this.addBudgetsAsResultButton.Location = new System.Drawing.Point(551, 6);
210            this.addBudgetsAsResultButton.Name = "addBudgetsAsResultButton";
211            this.addBudgetsAsResultButton.Size = new System.Drawing.Size(89, 23);
212            this.addBudgetsAsResultButton.TabIndex = 7;
213            this.addBudgetsAsResultButton.Text = "Add as Result";
214            this.addBudgetsAsResultButton.UseVisualStyleBackColor = true;
215            this.addBudgetsAsResultButton.Click += new System.EventHandler(this.addBudgetsAsResultButton_Click);
216            //
217            // aggregateTargetsCheckBox
218            //
219            this.aggregateTargetsCheckBox.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Right)));
220            this.aggregateTargetsCheckBox.AutoSize = true;
221            this.aggregateTargetsCheckBox.Checked = true;
222            this.aggregateTargetsCheckBox.CheckState = System.Windows.Forms.CheckState.Checked;
223            this.aggregateTargetsCheckBox.Location = new System.Drawing.Point(352, 10);
224            this.aggregateTargetsCheckBox.Name = "aggregateTargetsCheckBox";
225            this.aggregateTargetsCheckBox.Size = new System.Drawing.Size(74, 17);
226            this.aggregateTargetsCheckBox.TabIndex = 2;
227            this.aggregateTargetsCheckBox.Text = "aggregate";
228            this.aggregateTargetsCheckBox.UseVisualStyleBackColor = true;
229            this.aggregateTargetsCheckBox.CheckedChanged += new System.EventHandler(this.aggregateTargetsCheckBox_CheckedChanged);
230            //
231            // tabControl
232            //
233            this.tabControl.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
234            | System.Windows.Forms.AnchorStyles.Left)
235            | System.Windows.Forms.AnchorStyles.Right)));
236            this.tabControl.Controls.Add(this.byTargetTabPage);
237            this.tabControl.Controls.Add(this.byCostTabPage);
238            this.tabControl.Controls.Add(this.byTableTabPage);
239            this.tabControl.Location = new System.Drawing.Point(0, 84);
240            this.tabControl.Name = "tabControl";
241            this.tabControl.SelectedIndex = 0;
242            this.tabControl.Size = new System.Drawing.Size(654, 413);
243            this.tabControl.TabIndex = 6;
244            //
245            // byTargetTabPage
246            //
247            this.byTargetTabPage.Controls.Add(this.targetChart);
248            this.byTargetTabPage.Controls.Add(this.boundShadingCheckBox);
249            this.byTargetTabPage.Controls.Add(this.targetLogScalingCheckBox);
250            this.byTargetTabPage.Controls.Add(this.targetsLabel);
251            this.byTargetTabPage.Controls.Add(this.aggregateTargetsCheckBox);
252            this.byTargetTabPage.Controls.Add(this.targetsTextBox);
253            this.byTargetTabPage.Controls.Add(this.generateTargetsButton);
254            this.byTargetTabPage.Controls.Add(this.addTargetsAsResultButton);
255            this.byTargetTabPage.Location = new System.Drawing.Point(4, 22);
256            this.byTargetTabPage.Name = "byTargetTabPage";
257            this.byTargetTabPage.Padding = new System.Windows.Forms.Padding(3);
258            this.byTargetTabPage.Size = new System.Drawing.Size(646, 387);
259            this.byTargetTabPage.TabIndex = 0;
260            this.byTargetTabPage.Text = "Performance by Target";
261            this.byTargetTabPage.UseVisualStyleBackColor = true;
262            //
263            // targetChart
264            //
265            this.targetChart.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
266            | System.Windows.Forms.AnchorStyles.Left)
267            | System.Windows.Forms.AnchorStyles.Right)));
268            chartArea2.AxisX.IsStartedFromZero = false;
269            chartArea2.AxisX.MinorGrid.Enabled = true;
270            chartArea2.AxisX.MinorGrid.LineColor = System.Drawing.Color.WhiteSmoke;
271            chartArea2.AxisX.MinorGrid.LineDashStyle = System.Windows.Forms.DataVisualization.Charting.ChartDashStyle.Dash;
272            chartArea2.AxisY.Maximum = 1D;
273            chartArea2.AxisY.Minimum = 0D;
274            chartArea2.AxisY.MinorGrid.Enabled = true;
275            chartArea2.AxisY.MinorGrid.LineColor = System.Drawing.Color.WhiteSmoke;
276            chartArea2.AxisY.MinorGrid.LineDashStyle = System.Windows.Forms.DataVisualization.Charting.ChartDashStyle.Dash;
277            chartArea2.Name = "ChartArea1";
278            this.targetChart.ChartAreas.Add(chartArea2);
279            legend2.Alignment = System.Drawing.StringAlignment.Center;
280            legend2.Docking = System.Windows.Forms.DataVisualization.Charting.Docking.Top;
281            legend2.Name = "Legend1";
282            this.targetChart.Legends.Add(legend2);
283            this.targetChart.Location = new System.Drawing.Point(6, 34);
284            this.targetChart.Name = "targetChart";
285            this.targetChart.Size = new System.Drawing.Size(634, 324);
286            this.targetChart.SuppressExceptions = true;
287            this.targetChart.TabIndex = 7;
288            this.targetChart.Text = "enhancedChart1";
289            this.targetChart.CustomizeLegend += new System.EventHandler<System.Windows.Forms.DataVisualization.Charting.CustomizeLegendEventArgs>(this.chart_CustomizeLegend);
290            this.targetChart.MouseDown += new System.Windows.Forms.MouseEventHandler(this.chart_MouseDown);
291            this.targetChart.MouseMove += new System.Windows.Forms.MouseEventHandler(this.chart_MouseMove);
292            //
293            // boundShadingCheckBox
294            //
295            this.boundShadingCheckBox.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
296            this.boundShadingCheckBox.AutoSize = true;
297            this.boundShadingCheckBox.Checked = true;
298            this.boundShadingCheckBox.CheckState = System.Windows.Forms.CheckState.Checked;
299            this.boundShadingCheckBox.Location = new System.Drawing.Point(127, 364);
300            this.boundShadingCheckBox.Name = "boundShadingCheckBox";
301            this.boundShadingCheckBox.Size = new System.Drawing.Size(96, 17);
302            this.boundShadingCheckBox.TabIndex = 6;
303            this.boundShadingCheckBox.Text = "bound shading";
304            this.boundShadingCheckBox.UseVisualStyleBackColor = true;
305            this.boundShadingCheckBox.CheckedChanged += new System.EventHandler(this.boundShadingCheckBox_CheckedChanged);
306            //
307            // byCostTabPage
308            //
309            this.byCostTabPage.Controls.Add(this.byCostViewHost);
310            this.byCostTabPage.Controls.Add(this.budgetLogScalingCheckBox);
311            this.byCostTabPage.Controls.Add(this.eachOrAllBudgetsCheckBox);
312            this.byCostTabPage.Controls.Add(this.generateBudgetsButton);
313            this.byCostTabPage.Controls.Add(this.budgetsLabel);
314            this.byCostTabPage.Controls.Add(this.addBudgetsAsResultButton);
315            this.byCostTabPage.Controls.Add(this.budgetsTextBox);
316            this.byCostTabPage.Location = new System.Drawing.Point(4, 22);
317            this.byCostTabPage.Name = "byCostTabPage";
318            this.byCostTabPage.Padding = new System.Windows.Forms.Padding(3);
319            this.byCostTabPage.Size = new System.Drawing.Size(646, 387);
320            this.byCostTabPage.TabIndex = 1;
321            this.byCostTabPage.Text = "Performance by Cost";
322            this.byCostTabPage.UseVisualStyleBackColor = true;
323            //
324            // byCostViewHost
325            //
326            this.byCostViewHost.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
327            | System.Windows.Forms.AnchorStyles.Left)
328            | System.Windows.Forms.AnchorStyles.Right)));
329            this.byCostViewHost.Caption = "View";
330            this.byCostViewHost.Content = null;
331            this.byCostViewHost.Enabled = false;
332            this.byCostViewHost.Location = new System.Drawing.Point(6, 34);
333            this.byCostViewHost.Name = "byCostViewHost";
334            this.byCostViewHost.ReadOnly = false;
335            this.byCostViewHost.Size = new System.Drawing.Size(634, 324);
336            this.byCostViewHost.TabIndex = 12;
337            this.byCostViewHost.ViewsLabelVisible = true;
338            this.byCostViewHost.ViewType = null;
339            //
340            // budgetLogScalingCheckBox
341            //
342            this.budgetLogScalingCheckBox.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
343            this.budgetLogScalingCheckBox.AutoSize = true;
344            this.budgetLogScalingCheckBox.Location = new System.Drawing.Point(9, 364);
345            this.budgetLogScalingCheckBox.Name = "budgetLogScalingCheckBox";
346            this.budgetLogScalingCheckBox.Size = new System.Drawing.Size(112, 17);
347            this.budgetLogScalingCheckBox.TabIndex = 11;
348            this.budgetLogScalingCheckBox.Text = "logarithmic scaling";
349            this.budgetLogScalingCheckBox.UseVisualStyleBackColor = true;
350            this.budgetLogScalingCheckBox.CheckedChanged += new System.EventHandler(this.logScalingCheckBox_CheckedChanged);
351            //
352            // eachOrAllBudgetsCheckBox
353            //
354            this.eachOrAllBudgetsCheckBox.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Right)));
355            this.eachOrAllBudgetsCheckBox.AutoSize = true;
356            this.eachOrAllBudgetsCheckBox.Location = new System.Drawing.Point(414, 10);
357            this.eachOrAllBudgetsCheckBox.Name = "eachOrAllBudgetsCheckBox";
358            this.eachOrAllBudgetsCheckBox.Size = new System.Drawing.Size(36, 17);
359            this.eachOrAllBudgetsCheckBox.TabIndex = 10;
360            this.eachOrAllBudgetsCheckBox.Text = "all";
361            this.eachOrAllBudgetsCheckBox.UseVisualStyleBackColor = true;
362            this.eachOrAllBudgetsCheckBox.CheckedChanged += new System.EventHandler(this.eachOrAllBudgetsCheckBox_CheckedChanged);
363            //
364            // generateBudgetsButton
365            //
366            this.generateBudgetsButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Right)));
367            this.generateBudgetsButton.Location = new System.Drawing.Point(456, 6);
368            this.generateBudgetsButton.Name = "generateBudgetsButton";
369            this.generateBudgetsButton.Size = new System.Drawing.Size(89, 23);
370            this.generateBudgetsButton.TabIndex = 9;
371            this.generateBudgetsButton.Text = "Generate...";
372            this.generateBudgetsButton.UseVisualStyleBackColor = true;
373            this.generateBudgetsButton.Click += new System.EventHandler(this.generateBudgetsButton_Click);
374            //
375            // byTableTabPage
376            //
377            this.byTableTabPage.Controls.Add(this.ertTableView);
378            this.byTableTabPage.Location = new System.Drawing.Point(4, 22);
379            this.byTableTabPage.Name = "byTableTabPage";
380            this.byTableTabPage.Padding = new System.Windows.Forms.Padding(3);
381            this.byTableTabPage.Size = new System.Drawing.Size(646, 387);
382            this.byTableTabPage.TabIndex = 2;
383            this.byTableTabPage.Text = "Expected Runtime Tables";
384            this.byTableTabPage.UseVisualStyleBackColor = true;
385            //
386            // ertTableView
387            //
388            this.ertTableView.Caption = "StringConvertibleMatrix View";
389            this.ertTableView.Content = null;
390            this.ertTableView.Dock = System.Windows.Forms.DockStyle.Fill;
391            this.ertTableView.Location = new System.Drawing.Point(3, 3);
392            this.ertTableView.Name = "ertTableView";
393            this.ertTableView.ReadOnly = false;
394            this.ertTableView.ShowRowsAndColumnsTextBox = false;
395            this.ertTableView.ShowStatisticalInformation = false;
396            this.ertTableView.Size = new System.Drawing.Size(640, 381);
397            this.ertTableView.TabIndex = 0;
398            //
399            // problemComboBox
400            //
401            this.problemComboBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
402            | System.Windows.Forms.AnchorStyles.Right)));
403            this.problemComboBox.DropDownStyle = System.Windows.Forms.ComboBoxStyle.DropDownList;
404            this.problemComboBox.FormattingEnabled = true;
405            this.problemComboBox.Location = new System.Drawing.Point(69, 30);
406            this.problemComboBox.Name = "problemComboBox";
407            this.problemComboBox.Size = new System.Drawing.Size(582, 21);
408            this.problemComboBox.TabIndex = 3;
409            this.problemComboBox.SelectedIndexChanged += new System.EventHandler(this.problemComboBox_SelectedIndexChanged);
410            //
411            // problemLabel
412            //
413            this.problemLabel.AutoSize = true;
414            this.problemLabel.Location = new System.Drawing.Point(3, 33);
415            this.problemLabel.Name = "problemLabel";
416            this.problemLabel.Size = new System.Drawing.Size(48, 13);
417            this.problemLabel.TabIndex = 2;
418            this.problemLabel.Text = "Problem:";
419            //
420            // RunCollectionRLDView
421            //
422            this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Inherit;
423            this.Controls.Add(this.tabControl);
424            this.Controls.Add(this.groupComboBox);
425            this.Controls.Add(this.groupLabel);
426            this.Controls.Add(this.problemLabel);
427            this.Controls.Add(this.dataTableLabel);
428            this.Controls.Add(this.problemComboBox);
429            this.Controls.Add(this.dataTableComboBox);
430            this.Name = "RunCollectionRLDView";
431            this.Size = new System.Drawing.Size(654, 497);
432            ((System.ComponentModel.ISupportInitialize)(this.errorProvider)).EndInit();
433            this.tabControl.ResumeLayout(false);
434            this.byTargetTabPage.ResumeLayout(false);
435            this.byTargetTabPage.PerformLayout();
436            ((System.ComponentModel.ISupportInitialize)(this.targetChart)).EndInit();
437            this.byCostTabPage.ResumeLayout(false);
438            this.byCostTabPage.PerformLayout();
439            this.byTableTabPage.ResumeLayout(false);
440            this.ResumeLayout(false);
441            this.PerformLayout();
442
443    }
444
445    #endregion
446
447    private System.Windows.Forms.ComboBox dataTableComboBox;
448    private System.Windows.Forms.Label dataTableLabel;
449    private System.Windows.Forms.Label groupLabel;
450    private System.Windows.Forms.ComboBox groupComboBox;
451    private System.Windows.Forms.CheckBox targetLogScalingCheckBox;
452    private System.Windows.Forms.TextBox targetsTextBox;
453    private System.Windows.Forms.Label targetsLabel;
454    protected System.Windows.Forms.ErrorProvider errorProvider;
455    private System.Windows.Forms.Button addTargetsAsResultButton;
456    private System.Windows.Forms.Button generateTargetsButton;
457    private System.Windows.Forms.ToolTip toolTip;
458    private System.Windows.Forms.Button addBudgetsAsResultButton;
459    private System.Windows.Forms.TextBox budgetsTextBox;
460    private System.Windows.Forms.Label budgetsLabel;
461    private System.Windows.Forms.CheckBox aggregateTargetsCheckBox;
462    private System.Windows.Forms.TabControl tabControl;
463    private System.Windows.Forms.TabPage byTargetTabPage;
464    private System.Windows.Forms.TabPage byCostTabPage;
465    private System.Windows.Forms.TabPage byTableTabPage;
466    private System.Windows.Forms.CheckBox eachOrAllBudgetsCheckBox;
467    private System.Windows.Forms.Button generateBudgetsButton;
468    private System.Windows.Forms.CheckBox budgetLogScalingCheckBox;
469    private System.Windows.Forms.Label problemLabel;
470    private System.Windows.Forms.ComboBox problemComboBox;
471    private Data.Views.StringConvertibleMatrixView ertTableView;
472    private Visualization.ChartControlsExtensions.EnhancedChart targetChart;
473    private MainForm.WindowsForms.ViewHost byCostViewHost;
474    private System.Windows.Forms.CheckBox boundShadingCheckBox;
475  }
476}
Note: See TracBrowser for help on using the repository browser.