[7980] | 1 | #region License Information
|
---|
| 2 | /* HeuristicLab
|
---|
[14185] | 3 | * Copyright (C) 2002-2016 Heuristic and Evolutionary Algorithms Laboratory (HEAL)
|
---|
[7980] | 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 | namespace HeuristicLab.Optimization.Views {
|
---|
[12803] | 22 | partial class RunCollectionRLDView {
|
---|
[7980] | 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() {
|
---|
[12804] | 46 | this.components = new System.ComponentModel.Container();
|
---|
[14101] | 47 | System.Windows.Forms.DataVisualization.Charting.ChartArea chartArea1 = new System.Windows.Forms.DataVisualization.Charting.ChartArea();
|
---|
| 48 | System.Windows.Forms.DataVisualization.Charting.Legend legend1 = new System.Windows.Forms.DataVisualization.Charting.Legend();
|
---|
[7980] | 49 | this.dataTableComboBox = new System.Windows.Forms.ComboBox();
|
---|
[12806] | 50 | this.dataTableLabel = new System.Windows.Forms.Label();
|
---|
| 51 | this.groupLabel = new System.Windows.Forms.Label();
|
---|
[12771] | 52 | this.groupComboBox = new System.Windows.Forms.ComboBox();
|
---|
[12838] | 53 | this.targetLogScalingCheckBox = new System.Windows.Forms.CheckBox();
|
---|
[12804] | 54 | this.targetsTextBox = new System.Windows.Forms.TextBox();
|
---|
[12806] | 55 | this.targetsLabel = new System.Windows.Forms.Label();
|
---|
[12804] | 56 | this.errorProvider = new System.Windows.Forms.ErrorProvider(this.components);
|
---|
[12838] | 57 | this.addTargetsAsResultButton = new System.Windows.Forms.Button();
|
---|
[12806] | 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();
|
---|
[12838] | 62 | this.addBudgetsAsResultButton = new System.Windows.Forms.Button();
|
---|
[14101] | 63 | this.aggregateTargetsCheckBox = new System.Windows.Forms.CheckBox();
|
---|
[12838] | 64 | this.tabControl = new System.Windows.Forms.TabControl();
|
---|
| 65 | this.byTargetTabPage = new System.Windows.Forms.TabPage();
|
---|
[14101] | 66 | this.targetChart = new HeuristicLab.Visualization.ChartControlsExtensions.EnhancedChart();
|
---|
| 67 | this.boundShadingCheckBox = new System.Windows.Forms.CheckBox();
|
---|
[12838] | 68 | this.byCostTabPage = new System.Windows.Forms.TabPage();
|
---|
[14101] | 69 | this.byCostViewHost = new HeuristicLab.MainForm.WindowsForms.ViewHost();
|
---|
[12841] | 70 | this.budgetLogScalingCheckBox = new System.Windows.Forms.CheckBox();
|
---|
[12838] | 71 | this.eachOrAllBudgetsCheckBox = new System.Windows.Forms.CheckBox();
|
---|
| 72 | this.generateBudgetsButton = new System.Windows.Forms.Button();
|
---|
| 73 | this.byTableTabPage = new System.Windows.Forms.TabPage();
|
---|
[14101] | 74 | this.ertTableView = new HeuristicLab.Data.Views.StringConvertibleMatrixView();
|
---|
[12841] | 75 | this.problemComboBox = new System.Windows.Forms.ComboBox();
|
---|
| 76 | this.problemLabel = new System.Windows.Forms.Label();
|
---|
[12804] | 77 | ((System.ComponentModel.ISupportInitialize)(this.errorProvider)).BeginInit();
|
---|
[12838] | 78 | this.tabControl.SuspendLayout();
|
---|
| 79 | this.byTargetTabPage.SuspendLayout();
|
---|
[14101] | 80 | ((System.ComponentModel.ISupportInitialize)(this.targetChart)).BeginInit();
|
---|
[12838] | 81 | this.byCostTabPage.SuspendLayout();
|
---|
| 82 | this.byTableTabPage.SuspendLayout();
|
---|
[7980] | 83 | this.SuspendLayout();
|
---|
| 84 | //
|
---|
| 85 | // dataTableComboBox
|
---|
| 86 | //
|
---|
[12771] | 87 | this.dataTableComboBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
|
---|
[7980] | 88 | | System.Windows.Forms.AnchorStyles.Right)));
|
---|
| 89 | this.dataTableComboBox.DropDownStyle = System.Windows.Forms.ComboBoxStyle.DropDownList;
|
---|
| 90 | this.dataTableComboBox.FormattingEnabled = true;
|
---|
[12841] | 91 | this.dataTableComboBox.Location = new System.Drawing.Point(69, 57);
|
---|
[7980] | 92 | this.dataTableComboBox.Name = "dataTableComboBox";
|
---|
[12838] | 93 | this.dataTableComboBox.Size = new System.Drawing.Size(582, 21);
|
---|
[12841] | 94 | this.dataTableComboBox.TabIndex = 5;
|
---|
[7980] | 95 | this.dataTableComboBox.SelectedIndexChanged += new System.EventHandler(this.dataTableComboBox_SelectedIndexChanged);
|
---|
| 96 | //
|
---|
[12806] | 97 | // dataTableLabel
|
---|
[7980] | 98 | //
|
---|
[12806] | 99 | this.dataTableLabel.AutoSize = true;
|
---|
[12841] | 100 | this.dataTableLabel.Location = new System.Drawing.Point(3, 60);
|
---|
[12806] | 101 | this.dataTableLabel.Name = "dataTableLabel";
|
---|
| 102 | this.dataTableLabel.Size = new System.Drawing.Size(60, 13);
|
---|
[12841] | 103 | this.dataTableLabel.TabIndex = 4;
|
---|
[12806] | 104 | this.dataTableLabel.Text = "DataTable:";
|
---|
[7980] | 105 | //
|
---|
[12806] | 106 | // groupLabel
|
---|
[7980] | 107 | //
|
---|
[12806] | 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);
|
---|
[12841] | 112 | this.groupLabel.TabIndex = 0;
|
---|
[12806] | 113 | this.groupLabel.Text = "Group:";
|
---|
[7980] | 114 | //
|
---|
[12771] | 115 | // groupComboBox
|
---|
[7980] | 116 | //
|
---|
[12771] | 117 | this.groupComboBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
|
---|
[7980] | 118 | | System.Windows.Forms.AnchorStyles.Right)));
|
---|
[12771] | 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";
|
---|
[12838] | 123 | this.groupComboBox.Size = new System.Drawing.Size(582, 21);
|
---|
[12841] | 124 | this.groupComboBox.TabIndex = 1;
|
---|
[12771] | 125 | this.groupComboBox.SelectedIndexChanged += new System.EventHandler(this.groupComboBox_SelectedIndexChanged);
|
---|
[7980] | 126 | //
|
---|
[12838] | 127 | // targetLogScalingCheckBox
|
---|
[7980] | 128 | //
|
---|
[12838] | 129 | this.targetLogScalingCheckBox.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
|
---|
| 130 | this.targetLogScalingCheckBox.AutoSize = true;
|
---|
[12841] | 131 | this.targetLogScalingCheckBox.Location = new System.Drawing.Point(9, 364);
|
---|
[12838] | 132 | this.targetLogScalingCheckBox.Name = "targetLogScalingCheckBox";
|
---|
| 133 | this.targetLogScalingCheckBox.Size = new System.Drawing.Size(112, 17);
|
---|
[12841] | 134 | this.targetLogScalingCheckBox.TabIndex = 6;
|
---|
[12838] | 135 | this.targetLogScalingCheckBox.Text = "logarithmic scaling";
|
---|
| 136 | this.targetLogScalingCheckBox.UseVisualStyleBackColor = true;
|
---|
| 137 | this.targetLogScalingCheckBox.CheckedChanged += new System.EventHandler(this.logScalingCheckBox_CheckedChanged);
|
---|
[12771] | 138 | //
|
---|
[12804] | 139 | // targetsTextBox
|
---|
[12771] | 140 | //
|
---|
[12804] | 141 | this.targetsTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
|
---|
| 142 | | System.Windows.Forms.AnchorStyles.Right)));
|
---|
[12888] | 143 | this.targetsTextBox.Location = new System.Drawing.Point(59, 8);
|
---|
[12804] | 144 | this.targetsTextBox.Name = "targetsTextBox";
|
---|
[14101] | 145 | this.targetsTextBox.Size = new System.Drawing.Size(287, 20);
|
---|
[12841] | 146 | this.targetsTextBox.TabIndex = 1;
|
---|
[12806] | 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.");
|
---|
[12804] | 150 | this.targetsTextBox.Validating += new System.ComponentModel.CancelEventHandler(this.targetsTextBox_Validating);
|
---|
| 151 | //
|
---|
[12806] | 152 | // targetsLabel
|
---|
[12804] | 153 | //
|
---|
[12806] | 154 | this.targetsLabel.AutoSize = true;
|
---|
[12838] | 155 | this.targetsLabel.Location = new System.Drawing.Point(6, 11);
|
---|
[12806] | 156 | this.targetsLabel.Name = "targetsLabel";
|
---|
| 157 | this.targetsLabel.Size = new System.Drawing.Size(46, 13);
|
---|
[12841] | 158 | this.targetsLabel.TabIndex = 0;
|
---|
[12806] | 159 | this.targetsLabel.Text = "Targets:";
|
---|
[12804] | 160 | //
|
---|
| 161 | // errorProvider
|
---|
| 162 | //
|
---|
| 163 | this.errorProvider.ContainerControl = this;
|
---|
| 164 | //
|
---|
[12838] | 165 | // addTargetsAsResultButton
|
---|
[12806] | 166 | //
|
---|
[12838] | 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);
|
---|
[12841] | 171 | this.addTargetsAsResultButton.TabIndex = 4;
|
---|
[12838] | 172 | this.addTargetsAsResultButton.Text = "Add as Result";
|
---|
| 173 | this.addTargetsAsResultButton.UseVisualStyleBackColor = true;
|
---|
| 174 | this.addTargetsAsResultButton.Click += new System.EventHandler(this.addTargetsAsResultButton_Click);
|
---|
[12806] | 175 | //
|
---|
| 176 | // generateTargetsButton
|
---|
| 177 | //
|
---|
| 178 | this.generateTargetsButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Right)));
|
---|
[12838] | 179 | this.generateTargetsButton.Location = new System.Drawing.Point(456, 6);
|
---|
[12806] | 180 | this.generateTargetsButton.Name = "generateTargetsButton";
|
---|
| 181 | this.generateTargetsButton.Size = new System.Drawing.Size(89, 23);
|
---|
[12841] | 182 | this.generateTargetsButton.TabIndex = 3;
|
---|
[12806] | 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;
|
---|
[12838] | 190 | this.budgetsLabel.Location = new System.Drawing.Point(6, 11);
|
---|
[12806] | 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 | //
|
---|
[12838] | 198 | this.budgetsTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
|
---|
[12806] | 199 | | System.Windows.Forms.AnchorStyles.Right)));
|
---|
[12888] | 200 | this.budgetsTextBox.Location = new System.Drawing.Point(59, 8);
|
---|
[12806] | 201 | this.budgetsTextBox.Name = "budgetsTextBox";
|
---|
[12888] | 202 | this.budgetsTextBox.Size = new System.Drawing.Size(326, 20);
|
---|
[12806] | 203 | this.budgetsTextBox.TabIndex = 6;
|
---|
[12838] | 204 | this.budgetsTextBox.Validating += new System.ComponentModel.CancelEventHandler(this.budgetsTextBox_Validating);
|
---|
[12806] | 205 | //
|
---|
[12838] | 206 | // addBudgetsAsResultButton
|
---|
[12806] | 207 | //
|
---|
[12838] | 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);
|
---|
[12806] | 216 | //
|
---|
[14101] | 217 | // aggregateTargetsCheckBox
|
---|
[12808] | 218 | //
|
---|
[14101] | 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);
|
---|
[12808] | 230 | //
|
---|
[12838] | 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);
|
---|
[12841] | 239 | this.tabControl.Location = new System.Drawing.Point(0, 84);
|
---|
[12838] | 240 | this.tabControl.Name = "tabControl";
|
---|
| 241 | this.tabControl.SelectedIndex = 0;
|
---|
[12841] | 242 | this.tabControl.Size = new System.Drawing.Size(654, 413);
|
---|
| 243 | this.tabControl.TabIndex = 6;
|
---|
[12838] | 244 | //
|
---|
| 245 | // byTargetTabPage
|
---|
| 246 | //
|
---|
[14101] | 247 | this.byTargetTabPage.Controls.Add(this.targetChart);
|
---|
| 248 | this.byTargetTabPage.Controls.Add(this.boundShadingCheckBox);
|
---|
[12838] | 249 | this.byTargetTabPage.Controls.Add(this.targetLogScalingCheckBox);
|
---|
| 250 | this.byTargetTabPage.Controls.Add(this.targetsLabel);
|
---|
[14101] | 251 | this.byTargetTabPage.Controls.Add(this.aggregateTargetsCheckBox);
|
---|
[12838] | 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);
|
---|
[12841] | 258 | this.byTargetTabPage.Size = new System.Drawing.Size(646, 387);
|
---|
[12838] | 259 | this.byTargetTabPage.TabIndex = 0;
|
---|
| 260 | this.byTargetTabPage.Text = "Performance by Target";
|
---|
| 261 | this.byTargetTabPage.UseVisualStyleBackColor = true;
|
---|
| 262 | //
|
---|
[14101] | 263 | // targetChart
|
---|
[12838] | 264 | //
|
---|
[14101] | 265 | this.targetChart.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
|
---|
[12838] | 266 | | System.Windows.Forms.AnchorStyles.Left)
|
---|
| 267 | | System.Windows.Forms.AnchorStyles.Right)));
|
---|
[14101] | 268 | chartArea1.AxisX.IsStartedFromZero = false;
|
---|
| 269 | chartArea1.AxisX.MinorGrid.Enabled = true;
|
---|
| 270 | chartArea1.AxisX.MinorGrid.LineColor = System.Drawing.Color.WhiteSmoke;
|
---|
| 271 | chartArea1.AxisX.MinorGrid.LineDashStyle = System.Windows.Forms.DataVisualization.Charting.ChartDashStyle.Dash;
|
---|
| 272 | chartArea1.AxisY.Maximum = 1D;
|
---|
| 273 | chartArea1.AxisY.Minimum = 0D;
|
---|
| 274 | chartArea1.AxisY.MinorGrid.Enabled = true;
|
---|
| 275 | chartArea1.AxisY.MinorGrid.LineColor = System.Drawing.Color.WhiteSmoke;
|
---|
| 276 | chartArea1.AxisY.MinorGrid.LineDashStyle = System.Windows.Forms.DataVisualization.Charting.ChartDashStyle.Dash;
|
---|
| 277 | chartArea1.Name = "ChartArea1";
|
---|
| 278 | this.targetChart.ChartAreas.Add(chartArea1);
|
---|
| 279 | legend1.Alignment = System.Drawing.StringAlignment.Center;
|
---|
| 280 | legend1.Docking = System.Windows.Forms.DataVisualization.Charting.Docking.Top;
|
---|
| 281 | legend1.Name = "Legend1";
|
---|
| 282 | this.targetChart.Legends.Add(legend1);
|
---|
| 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);
|
---|
[12838] | 292 | //
|
---|
[14101] | 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 | //
|
---|
[12838] | 307 | // byCostTabPage
|
---|
| 308 | //
|
---|
[14101] | 309 | this.byCostTabPage.Controls.Add(this.byCostViewHost);
|
---|
[12838] | 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);
|
---|
[12841] | 319 | this.byCostTabPage.Size = new System.Drawing.Size(646, 387);
|
---|
[12838] | 320 | this.byCostTabPage.TabIndex = 1;
|
---|
| 321 | this.byCostTabPage.Text = "Performance by Cost";
|
---|
| 322 | this.byCostTabPage.UseVisualStyleBackColor = true;
|
---|
| 323 | //
|
---|
[14101] | 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 | //
|
---|
[12841] | 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 | //
|
---|
[12838] | 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 | //
|
---|
[12888] | 377 | this.byTableTabPage.Controls.Add(this.ertTableView);
|
---|
[12838] | 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);
|
---|
[12841] | 381 | this.byTableTabPage.Size = new System.Drawing.Size(646, 387);
|
---|
[12838] | 382 | this.byTableTabPage.TabIndex = 2;
|
---|
| 383 | this.byTableTabPage.Text = "Expected Runtime Tables";
|
---|
| 384 | this.byTableTabPage.UseVisualStyleBackColor = true;
|
---|
| 385 | //
|
---|
[14101] | 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 | //
|
---|
[12841] | 399 | // problemComboBox
|
---|
[12838] | 400 | //
|
---|
[12841] | 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);
|
---|
[12838] | 410 | //
|
---|
[12841] | 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 | //
|
---|
[12804] | 420 | // RunCollectionRLDView
|
---|
| 421 | //
|
---|
[7980] | 422 | this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Inherit;
|
---|
[12838] | 423 | this.Controls.Add(this.tabControl);
|
---|
[12771] | 424 | this.Controls.Add(this.groupComboBox);
|
---|
[12806] | 425 | this.Controls.Add(this.groupLabel);
|
---|
[12841] | 426 | this.Controls.Add(this.problemLabel);
|
---|
[12806] | 427 | this.Controls.Add(this.dataTableLabel);
|
---|
[12841] | 428 | this.Controls.Add(this.problemComboBox);
|
---|
[7980] | 429 | this.Controls.Add(this.dataTableComboBox);
|
---|
[12804] | 430 | this.Name = "RunCollectionRLDView";
|
---|
[12838] | 431 | this.Size = new System.Drawing.Size(654, 497);
|
---|
[12804] | 432 | ((System.ComponentModel.ISupportInitialize)(this.errorProvider)).EndInit();
|
---|
[12838] | 433 | this.tabControl.ResumeLayout(false);
|
---|
| 434 | this.byTargetTabPage.ResumeLayout(false);
|
---|
| 435 | this.byTargetTabPage.PerformLayout();
|
---|
[14101] | 436 | ((System.ComponentModel.ISupportInitialize)(this.targetChart)).EndInit();
|
---|
[12838] | 437 | this.byCostTabPage.ResumeLayout(false);
|
---|
| 438 | this.byCostTabPage.PerformLayout();
|
---|
| 439 | this.byTableTabPage.ResumeLayout(false);
|
---|
[7980] | 440 | this.ResumeLayout(false);
|
---|
| 441 | this.PerformLayout();
|
---|
| 442 |
|
---|
| 443 | }
|
---|
| 444 |
|
---|
| 445 | #endregion
|
---|
| 446 |
|
---|
| 447 | private System.Windows.Forms.ComboBox dataTableComboBox;
|
---|
[12806] | 448 | private System.Windows.Forms.Label dataTableLabel;
|
---|
| 449 | private System.Windows.Forms.Label groupLabel;
|
---|
[12771] | 450 | private System.Windows.Forms.ComboBox groupComboBox;
|
---|
[12838] | 451 | private System.Windows.Forms.CheckBox targetLogScalingCheckBox;
|
---|
[12804] | 452 | private System.Windows.Forms.TextBox targetsTextBox;
|
---|
[12806] | 453 | private System.Windows.Forms.Label targetsLabel;
|
---|
[12804] | 454 | protected System.Windows.Forms.ErrorProvider errorProvider;
|
---|
[12838] | 455 | private System.Windows.Forms.Button addTargetsAsResultButton;
|
---|
[12806] | 456 | private System.Windows.Forms.Button generateTargetsButton;
|
---|
| 457 | private System.Windows.Forms.ToolTip toolTip;
|
---|
[12838] | 458 | private System.Windows.Forms.Button addBudgetsAsResultButton;
|
---|
[12806] | 459 | private System.Windows.Forms.TextBox budgetsTextBox;
|
---|
| 460 | private System.Windows.Forms.Label budgetsLabel;
|
---|
[14101] | 461 | private System.Windows.Forms.CheckBox aggregateTargetsCheckBox;
|
---|
[12838] | 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;
|
---|
[12841] | 469 | private System.Windows.Forms.Label problemLabel;
|
---|
| 470 | private System.Windows.Forms.ComboBox problemComboBox;
|
---|
[12888] | 471 | private Data.Views.StringConvertibleMatrixView ertTableView;
|
---|
[14101] | 472 | private Visualization.ChartControlsExtensions.EnhancedChart targetChart;
|
---|
| 473 | private MainForm.WindowsForms.ViewHost byCostViewHost;
|
---|
| 474 | private System.Windows.Forms.CheckBox boundShadingCheckBox;
|
---|
[7980] | 475 | }
|
---|
| 476 | }
|
---|