Free cookie consent management tool by TermsFeed Policy Generator

Ignore:
Timestamp:
04/24/16 10:03:52 (8 years ago)
Author:
abeham
Message:

#2457: worked on performance modeling

File:
1 edited

Legend:

Unmodified
Added
Removed
  • branches/PerformanceComparison/HeuristicLab.OptimizationExpertSystem/3.3/Views/SolverView.Designer.cs

    r13774 r13787  
    4545    /// </summary>
    4646    private void InitializeComponent() {
    47       WeifenLuo.WinFormsUI.Docking.DockPanelSkin dockPanelSkin2 = new WeifenLuo.WinFormsUI.Docking.DockPanelSkin();
    48       WeifenLuo.WinFormsUI.Docking.AutoHideStripSkin autoHideStripSkin2 = new WeifenLuo.WinFormsUI.Docking.AutoHideStripSkin();
    49       WeifenLuo.WinFormsUI.Docking.DockPanelGradient dockPanelGradient4 = new WeifenLuo.WinFormsUI.Docking.DockPanelGradient();
    50       WeifenLuo.WinFormsUI.Docking.TabGradient tabGradient8 = new WeifenLuo.WinFormsUI.Docking.TabGradient();
    51       WeifenLuo.WinFormsUI.Docking.DockPaneStripSkin dockPaneStripSkin2 = new WeifenLuo.WinFormsUI.Docking.DockPaneStripSkin();
    52       WeifenLuo.WinFormsUI.Docking.DockPaneStripGradient dockPaneStripGradient2 = new WeifenLuo.WinFormsUI.Docking.DockPaneStripGradient();
    53       WeifenLuo.WinFormsUI.Docking.TabGradient tabGradient9 = new WeifenLuo.WinFormsUI.Docking.TabGradient();
    54       WeifenLuo.WinFormsUI.Docking.DockPanelGradient dockPanelGradient5 = new WeifenLuo.WinFormsUI.Docking.DockPanelGradient();
    55       WeifenLuo.WinFormsUI.Docking.TabGradient tabGradient10 = new WeifenLuo.WinFormsUI.Docking.TabGradient();
    56       WeifenLuo.WinFormsUI.Docking.DockPaneStripToolWindowGradient dockPaneStripToolWindowGradient2 = new WeifenLuo.WinFormsUI.Docking.DockPaneStripToolWindowGradient();
    57       WeifenLuo.WinFormsUI.Docking.TabGradient tabGradient11 = new WeifenLuo.WinFormsUI.Docking.TabGradient();
    58       WeifenLuo.WinFormsUI.Docking.TabGradient tabGradient12 = new WeifenLuo.WinFormsUI.Docking.TabGradient();
    59       WeifenLuo.WinFormsUI.Docking.DockPanelGradient dockPanelGradient6 = new WeifenLuo.WinFormsUI.Docking.DockPanelGradient();
    60       WeifenLuo.WinFormsUI.Docking.TabGradient tabGradient13 = new WeifenLuo.WinFormsUI.Docking.TabGradient();
    61       WeifenLuo.WinFormsUI.Docking.TabGradient tabGradient14 = new WeifenLuo.WinFormsUI.Docking.TabGradient();
     47      WeifenLuo.WinFormsUI.Docking.DockPanelSkin dockPanelSkin4 = new WeifenLuo.WinFormsUI.Docking.DockPanelSkin();
     48      WeifenLuo.WinFormsUI.Docking.AutoHideStripSkin autoHideStripSkin4 = new WeifenLuo.WinFormsUI.Docking.AutoHideStripSkin();
     49      WeifenLuo.WinFormsUI.Docking.DockPanelGradient dockPanelGradient10 = new WeifenLuo.WinFormsUI.Docking.DockPanelGradient();
     50      WeifenLuo.WinFormsUI.Docking.TabGradient tabGradient22 = new WeifenLuo.WinFormsUI.Docking.TabGradient();
     51      WeifenLuo.WinFormsUI.Docking.DockPaneStripSkin dockPaneStripSkin4 = new WeifenLuo.WinFormsUI.Docking.DockPaneStripSkin();
     52      WeifenLuo.WinFormsUI.Docking.DockPaneStripGradient dockPaneStripGradient4 = new WeifenLuo.WinFormsUI.Docking.DockPaneStripGradient();
     53      WeifenLuo.WinFormsUI.Docking.TabGradient tabGradient23 = new WeifenLuo.WinFormsUI.Docking.TabGradient();
     54      WeifenLuo.WinFormsUI.Docking.DockPanelGradient dockPanelGradient11 = new WeifenLuo.WinFormsUI.Docking.DockPanelGradient();
     55      WeifenLuo.WinFormsUI.Docking.TabGradient tabGradient24 = new WeifenLuo.WinFormsUI.Docking.TabGradient();
     56      WeifenLuo.WinFormsUI.Docking.DockPaneStripToolWindowGradient dockPaneStripToolWindowGradient4 = new WeifenLuo.WinFormsUI.Docking.DockPaneStripToolWindowGradient();
     57      WeifenLuo.WinFormsUI.Docking.TabGradient tabGradient25 = new WeifenLuo.WinFormsUI.Docking.TabGradient();
     58      WeifenLuo.WinFormsUI.Docking.TabGradient tabGradient26 = new WeifenLuo.WinFormsUI.Docking.TabGradient();
     59      WeifenLuo.WinFormsUI.Docking.DockPanelGradient dockPanelGradient12 = new WeifenLuo.WinFormsUI.Docking.DockPanelGradient();
     60      WeifenLuo.WinFormsUI.Docking.TabGradient tabGradient27 = new WeifenLuo.WinFormsUI.Docking.TabGradient();
     61      WeifenLuo.WinFormsUI.Docking.TabGradient tabGradient28 = new WeifenLuo.WinFormsUI.Docking.TabGradient();
    6262      this.minTargetView = new HeuristicLab.Data.Views.StringConvertibleValueView();
    6363      this.maxEvaluationsView = new HeuristicLab.Data.Views.StringConvertibleValueView();
    6464      this.algorithmCloneButton = new System.Windows.Forms.Button();
    6565      this.seedingStrategyPanel = new System.Windows.Forms.Panel();
     66      this.algorithmStartButton = new System.Windows.Forms.Button();
     67      this.minimumTargetLabel = new System.Windows.Forms.Label();
     68      this.seedingStrategyLabel = new System.Windows.Forms.Label();
     69      this.evaluationsLimitabel = new System.Windows.Forms.Label();
     70      this.suggestedInstancesComboBox = new System.Windows.Forms.ComboBox();
     71      this.instanceLabel = new System.Windows.Forms.Label();
    6672      this.solverTabControl = new HeuristicLab.MainForm.WindowsForms.DragOverTabControl();
    6773      this.resultsTabPage = new System.Windows.Forms.TabPage();
     
    7783      this.operatorGraphTabPage = new System.Windows.Forms.TabPage();
    7884      this.operatorGraphViewHost = new HeuristicLab.MainForm.WindowsForms.ViewHost();
    79       this.algorithmStartButton = new System.Windows.Forms.Button();
    80       this.minimumTargetLabel = new System.Windows.Forms.Label();
    81       this.seedingStrategyLabel = new System.Windows.Forms.Label();
    82       this.evaluationsLimitabel = new System.Windows.Forms.Label();
    83       this.recommenderLabel = new System.Windows.Forms.Label();
    84       this.suggestedInstancesComboBox = new System.Windows.Forms.ComboBox();
    85       this.recommenderComboBox = new System.Windows.Forms.ComboBox();
    86       this.solverSplitContainer = new System.Windows.Forms.SplitContainer();
    87       this.recommenderViewHost = new HeuristicLab.MainForm.WindowsForms.ViewHost();
    88       this.instanceLabel = new System.Windows.Forms.Label();
    89       this.recommendRefreshButton = new System.Windows.Forms.Button();
    9085      this.solverTabControl.SuspendLayout();
    9186      this.resultsTabPage.SuspendLayout();
     
    9489      this.parametersTabPage.SuspendLayout();
    9590      this.operatorGraphTabPage.SuspendLayout();
    96       ((System.ComponentModel.ISupportInitialize)(this.solverSplitContainer)).BeginInit();
    97       this.solverSplitContainer.Panel1.SuspendLayout();
    98       this.solverSplitContainer.Panel2.SuspendLayout();
    99       this.solverSplitContainer.SuspendLayout();
    10091      this.SuspendLayout();
    10192      //
     
    124115      // algorithmCloneButton
    125116      //
    126       this.algorithmCloneButton.Location = new System.Drawing.Point(123, 60);
     117      this.algorithmCloneButton.Location = new System.Drawing.Point(518, 56);
    127118      this.algorithmCloneButton.Name = "algorithmCloneButton";
    128119      this.algorithmCloneButton.Size = new System.Drawing.Size(26, 23);
    129120      this.algorithmCloneButton.TabIndex = 15;
    130       this.algorithmCloneButton.Text = "Clone";
     121      this.algorithmCloneButton.Text = "c";
    131122      this.algorithmCloneButton.UseVisualStyleBackColor = true;
    132123      this.algorithmCloneButton.Click += new System.EventHandler(this.AlgorithmCloneButtonOnClick);
     
    141132      this.seedingStrategyPanel.TabIndex = 12;
    142133      //
     134      // algorithmStartButton
     135      //
     136      this.algorithmStartButton.Location = new System.Drawing.Point(486, 56);
     137      this.algorithmStartButton.Name = "algorithmStartButton";
     138      this.algorithmStartButton.Size = new System.Drawing.Size(26, 23);
     139      this.algorithmStartButton.TabIndex = 10;
     140      this.algorithmStartButton.Text = "Start";
     141      this.algorithmStartButton.UseVisualStyleBackColor = true;
     142      this.algorithmStartButton.Click += new System.EventHandler(this.AlgorithmStartButtonOnClick);
     143      //
     144      // minimumTargetLabel
     145      //
     146      this.minimumTargetLabel.AutoSize = true;
     147      this.minimumTargetLabel.Location = new System.Drawing.Point(384, 6);
     148      this.minimumTargetLabel.Name = "minimumTargetLabel";
     149      this.minimumTargetLabel.Size = new System.Drawing.Size(41, 13);
     150      this.minimumTargetLabel.TabIndex = 13;
     151      this.minimumTargetLabel.Text = "Target:";
     152      //
     153      // seedingStrategyLabel
     154      //
     155      this.seedingStrategyLabel.AutoSize = true;
     156      this.seedingStrategyLabel.Location = new System.Drawing.Point(3, 33);
     157      this.seedingStrategyLabel.Name = "seedingStrategyLabel";
     158      this.seedingStrategyLabel.Size = new System.Drawing.Size(91, 13);
     159      this.seedingStrategyLabel.TabIndex = 8;
     160      this.seedingStrategyLabel.Text = "Seeding Strategy:";
     161      //
     162      // evaluationsLimitabel
     163      //
     164      this.evaluationsLimitabel.AutoSize = true;
     165      this.evaluationsLimitabel.Location = new System.Drawing.Point(3, 6);
     166      this.evaluationsLimitabel.Name = "evaluationsLimitabel";
     167      this.evaluationsLimitabel.Size = new System.Drawing.Size(66, 13);
     168      this.evaluationsLimitabel.TabIndex = 13;
     169      this.evaluationsLimitabel.Text = "Budget (FE):";
     170      //
     171      // suggestedInstancesComboBox
     172      //
     173      this.suggestedInstancesComboBox.DropDownStyle = System.Windows.Forms.ComboBoxStyle.DropDownList;
     174      this.suggestedInstancesComboBox.FormattingEnabled = true;
     175      this.suggestedInstancesComboBox.Location = new System.Drawing.Point(108, 56);
     176      this.suggestedInstancesComboBox.Name = "suggestedInstancesComboBox";
     177      this.suggestedInstancesComboBox.Size = new System.Drawing.Size(372, 21);
     178      this.suggestedInstancesComboBox.TabIndex = 7;
     179      this.suggestedInstancesComboBox.SelectedIndexChanged += new System.EventHandler(this.SuggestedInstancesComboBoxOnSelectedIndexChanged);
     180      //
     181      // instanceLabel
     182      //
     183      this.instanceLabel.AutoSize = true;
     184      this.instanceLabel.Location = new System.Drawing.Point(3, 59);
     185      this.instanceLabel.Name = "instanceLabel";
     186      this.instanceLabel.Size = new System.Drawing.Size(51, 13);
     187      this.instanceLabel.TabIndex = 9;
     188      this.instanceLabel.Text = "Instance:";
     189      //
    143190      // solverTabControl
    144191      //
    145       this.solverTabControl.AllowDrop = true;
     192      this.solverTabControl.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
     193            | System.Windows.Forms.AnchorStyles.Left)
     194            | System.Windows.Forms.AnchorStyles.Right)));
    146195      this.solverTabControl.Controls.Add(this.resultsTabPage);
    147196      this.solverTabControl.Controls.Add(this.runsTabPage);
     
    150199      this.solverTabControl.Controls.Add(this.parametersTabPage);
    151200      this.solverTabControl.Controls.Add(this.operatorGraphTabPage);
    152       this.solverTabControl.Dock = System.Windows.Forms.DockStyle.Fill;
    153       this.solverTabControl.Location = new System.Drawing.Point(3, 3);
     201      this.solverTabControl.Location = new System.Drawing.Point(6, 85);
    154202      this.solverTabControl.Name = "solverTabControl";
    155203      this.solverTabControl.SelectedIndex = 0;
    156       this.solverTabControl.Size = new System.Drawing.Size(556, 502);
    157       this.solverTabControl.TabIndex = 11;
     204      this.solverTabControl.Size = new System.Drawing.Size(843, 479);
     205      this.solverTabControl.TabIndex = 17;
    158206      //
    159207      // resultsTabPage
     
    164212      this.resultsTabPage.Name = "resultsTabPage";
    165213      this.resultsTabPage.Padding = new System.Windows.Forms.Padding(3);
    166       this.resultsTabPage.Size = new System.Drawing.Size(548, 476);
     214      this.resultsTabPage.Size = new System.Drawing.Size(835, 453);
    167215      this.resultsTabPage.TabIndex = 2;
    168216      this.resultsTabPage.Text = "Results";
     
    189237      this.resultsDockPanel.Location = new System.Drawing.Point(3, 29);
    190238      this.resultsDockPanel.Name = "resultsDockPanel";
    191       this.resultsDockPanel.Size = new System.Drawing.Size(542, 444);
    192       dockPanelGradient4.EndColor = System.Drawing.SystemColors.ControlLight;
    193       dockPanelGradient4.StartColor = System.Drawing.SystemColors.ControlLight;
    194       autoHideStripSkin2.DockStripGradient = dockPanelGradient4;
    195       tabGradient8.EndColor = System.Drawing.SystemColors.Control;
    196       tabGradient8.StartColor = System.Drawing.SystemColors.Control;
    197       tabGradient8.TextColor = System.Drawing.SystemColors.ControlDarkDark;
    198       autoHideStripSkin2.TabGradient = tabGradient8;
    199       autoHideStripSkin2.TextFont = new System.Drawing.Font("Segoe UI", 9F);
    200       dockPanelSkin2.AutoHideStripSkin = autoHideStripSkin2;
    201       tabGradient9.EndColor = System.Drawing.SystemColors.ControlLightLight;
    202       tabGradient9.StartColor = System.Drawing.SystemColors.ControlLightLight;
    203       tabGradient9.TextColor = System.Drawing.SystemColors.ControlText;
    204       dockPaneStripGradient2.ActiveTabGradient = tabGradient9;
    205       dockPanelGradient5.EndColor = System.Drawing.SystemColors.Control;
    206       dockPanelGradient5.StartColor = System.Drawing.SystemColors.Control;
    207       dockPaneStripGradient2.DockStripGradient = dockPanelGradient5;
    208       tabGradient10.EndColor = System.Drawing.SystemColors.ControlLight;
    209       tabGradient10.StartColor = System.Drawing.SystemColors.ControlLight;
    210       tabGradient10.TextColor = System.Drawing.SystemColors.ControlText;
    211       dockPaneStripGradient2.InactiveTabGradient = tabGradient10;
    212       dockPaneStripSkin2.DocumentGradient = dockPaneStripGradient2;
    213       dockPaneStripSkin2.TextFont = new System.Drawing.Font("Segoe UI", 9F);
    214       tabGradient11.EndColor = System.Drawing.SystemColors.ActiveCaption;
    215       tabGradient11.LinearGradientMode = System.Drawing.Drawing2D.LinearGradientMode.Vertical;
    216       tabGradient11.StartColor = System.Drawing.SystemColors.GradientActiveCaption;
    217       tabGradient11.TextColor = System.Drawing.SystemColors.ActiveCaptionText;
    218       dockPaneStripToolWindowGradient2.ActiveCaptionGradient = tabGradient11;
    219       tabGradient12.EndColor = System.Drawing.SystemColors.Control;
    220       tabGradient12.StartColor = System.Drawing.SystemColors.Control;
    221       tabGradient12.TextColor = System.Drawing.SystemColors.ControlText;
    222       dockPaneStripToolWindowGradient2.ActiveTabGradient = tabGradient12;
    223       dockPanelGradient6.EndColor = System.Drawing.SystemColors.ControlLight;
    224       dockPanelGradient6.StartColor = System.Drawing.SystemColors.ControlLight;
    225       dockPaneStripToolWindowGradient2.DockStripGradient = dockPanelGradient6;
    226       tabGradient13.EndColor = System.Drawing.SystemColors.InactiveCaption;
    227       tabGradient13.LinearGradientMode = System.Drawing.Drawing2D.LinearGradientMode.Vertical;
    228       tabGradient13.StartColor = System.Drawing.SystemColors.GradientInactiveCaption;
    229       tabGradient13.TextColor = System.Drawing.SystemColors.InactiveCaptionText;
    230       dockPaneStripToolWindowGradient2.InactiveCaptionGradient = tabGradient13;
    231       tabGradient14.EndColor = System.Drawing.Color.Transparent;
    232       tabGradient14.StartColor = System.Drawing.Color.Transparent;
    233       tabGradient14.TextColor = System.Drawing.SystemColors.ControlDarkDark;
    234       dockPaneStripToolWindowGradient2.InactiveTabGradient = tabGradient14;
    235       dockPaneStripSkin2.ToolWindowGradient = dockPaneStripToolWindowGradient2;
    236       dockPanelSkin2.DockPaneStripSkin = dockPaneStripSkin2;
    237       this.resultsDockPanel.Skin = dockPanelSkin2;
     239      this.resultsDockPanel.Size = new System.Drawing.Size(829, 421);
     240      dockPanelGradient10.EndColor = System.Drawing.SystemColors.ControlLight;
     241      dockPanelGradient10.StartColor = System.Drawing.SystemColors.ControlLight;
     242      autoHideStripSkin4.DockStripGradient = dockPanelGradient10;
     243      tabGradient22.EndColor = System.Drawing.SystemColors.Control;
     244      tabGradient22.StartColor = System.Drawing.SystemColors.Control;
     245      tabGradient22.TextColor = System.Drawing.SystemColors.ControlDarkDark;
     246      autoHideStripSkin4.TabGradient = tabGradient22;
     247      autoHideStripSkin4.TextFont = new System.Drawing.Font("Segoe UI", 9F);
     248      dockPanelSkin4.AutoHideStripSkin = autoHideStripSkin4;
     249      tabGradient23.EndColor = System.Drawing.SystemColors.ControlLightLight;
     250      tabGradient23.StartColor = System.Drawing.SystemColors.ControlLightLight;
     251      tabGradient23.TextColor = System.Drawing.SystemColors.ControlText;
     252      dockPaneStripGradient4.ActiveTabGradient = tabGradient23;
     253      dockPanelGradient11.EndColor = System.Drawing.SystemColors.Control;
     254      dockPanelGradient11.StartColor = System.Drawing.SystemColors.Control;
     255      dockPaneStripGradient4.DockStripGradient = dockPanelGradient11;
     256      tabGradient24.EndColor = System.Drawing.SystemColors.ControlLight;
     257      tabGradient24.StartColor = System.Drawing.SystemColors.ControlLight;
     258      tabGradient24.TextColor = System.Drawing.SystemColors.ControlText;
     259      dockPaneStripGradient4.InactiveTabGradient = tabGradient24;
     260      dockPaneStripSkin4.DocumentGradient = dockPaneStripGradient4;
     261      dockPaneStripSkin4.TextFont = new System.Drawing.Font("Segoe UI", 9F);
     262      tabGradient25.EndColor = System.Drawing.SystemColors.ActiveCaption;
     263      tabGradient25.LinearGradientMode = System.Drawing.Drawing2D.LinearGradientMode.Vertical;
     264      tabGradient25.StartColor = System.Drawing.SystemColors.GradientActiveCaption;
     265      tabGradient25.TextColor = System.Drawing.SystemColors.ActiveCaptionText;
     266      dockPaneStripToolWindowGradient4.ActiveCaptionGradient = tabGradient25;
     267      tabGradient26.EndColor = System.Drawing.SystemColors.Control;
     268      tabGradient26.StartColor = System.Drawing.SystemColors.Control;
     269      tabGradient26.TextColor = System.Drawing.SystemColors.ControlText;
     270      dockPaneStripToolWindowGradient4.ActiveTabGradient = tabGradient26;
     271      dockPanelGradient12.EndColor = System.Drawing.SystemColors.ControlLight;
     272      dockPanelGradient12.StartColor = System.Drawing.SystemColors.ControlLight;
     273      dockPaneStripToolWindowGradient4.DockStripGradient = dockPanelGradient12;
     274      tabGradient27.EndColor = System.Drawing.SystemColors.InactiveCaption;
     275      tabGradient27.LinearGradientMode = System.Drawing.Drawing2D.LinearGradientMode.Vertical;
     276      tabGradient27.StartColor = System.Drawing.SystemColors.GradientInactiveCaption;
     277      tabGradient27.TextColor = System.Drawing.SystemColors.InactiveCaptionText;
     278      dockPaneStripToolWindowGradient4.InactiveCaptionGradient = tabGradient27;
     279      tabGradient28.EndColor = System.Drawing.Color.Transparent;
     280      tabGradient28.StartColor = System.Drawing.Color.Transparent;
     281      tabGradient28.TextColor = System.Drawing.SystemColors.ControlDarkDark;
     282      dockPaneStripToolWindowGradient4.InactiveTabGradient = tabGradient28;
     283      dockPaneStripSkin4.ToolWindowGradient = dockPaneStripToolWindowGradient4;
     284      dockPanelSkin4.DockPaneStripSkin = dockPaneStripSkin4;
     285      this.resultsDockPanel.Skin = dockPanelSkin4;
    238286      this.resultsDockPanel.TabIndex = 0;
    239287      //
     
    244292      this.runsTabPage.Name = "runsTabPage";
    245293      this.runsTabPage.Padding = new System.Windows.Forms.Padding(3);
    246       this.runsTabPage.Size = new System.Drawing.Size(548, 476);
     294      this.runsTabPage.Size = new System.Drawing.Size(548, 418);
    247295      this.runsTabPage.TabIndex = 4;
    248296      this.runsTabPage.Text = "Runs";
     
    257305      this.runsView.Name = "runsView";
    258306      this.runsView.ReadOnly = false;
    259       this.runsView.Size = new System.Drawing.Size(542, 470);
     307      this.runsView.Size = new System.Drawing.Size(542, 412);
    260308      this.runsView.TabIndex = 0;
    261309      //
     
    266314      this.seededRunsTabPage.Name = "seededRunsTabPage";
    267315      this.seededRunsTabPage.Padding = new System.Windows.Forms.Padding(3);
    268       this.seededRunsTabPage.Size = new System.Drawing.Size(548, 476);
     316      this.seededRunsTabPage.Size = new System.Drawing.Size(548, 418);
    269317      this.seededRunsTabPage.TabIndex = 5;
    270318      this.seededRunsTabPage.Text = "Seeded Runs";
     
    279327      this.seededRunsView.Name = "seededRunsView";
    280328      this.seededRunsView.ReadOnly = false;
    281       this.seededRunsView.Size = new System.Drawing.Size(542, 470);
     329      this.seededRunsView.Size = new System.Drawing.Size(542, 412);
    282330      this.seededRunsView.TabIndex = 1;
    283331      //
     
    287335      this.solutionSeedingTabPage.Name = "solutionSeedingTabPage";
    288336      this.solutionSeedingTabPage.Padding = new System.Windows.Forms.Padding(3);
    289       this.solutionSeedingTabPage.Size = new System.Drawing.Size(548, 476);
     337      this.solutionSeedingTabPage.Size = new System.Drawing.Size(548, 418);
    290338      this.solutionSeedingTabPage.TabIndex = 1;
    291339      this.solutionSeedingTabPage.Text = "Seeding Pool";
     
    298346      this.parametersTabPage.Name = "parametersTabPage";
    299347      this.parametersTabPage.Padding = new System.Windows.Forms.Padding(3);
    300       this.parametersTabPage.Size = new System.Drawing.Size(548, 476);
     348      this.parametersTabPage.Size = new System.Drawing.Size(548, 418);
    301349      this.parametersTabPage.TabIndex = 0;
    302350      this.parametersTabPage.Text = "Parameters";
     
    313361      this.solverParametersView.ReadOnly = true;
    314362      this.solverParametersView.ShowDetails = true;
    315       this.solverParametersView.Size = new System.Drawing.Size(542, 470);
     363      this.solverParametersView.Size = new System.Drawing.Size(542, 412);
    316364      this.solverParametersView.TabIndex = 0;
    317365      //
     
    322370      this.operatorGraphTabPage.Name = "operatorGraphTabPage";
    323371      this.operatorGraphTabPage.Padding = new System.Windows.Forms.Padding(3);
    324       this.operatorGraphTabPage.Size = new System.Drawing.Size(548, 476);
     372      this.operatorGraphTabPage.Size = new System.Drawing.Size(548, 418);
    325373      this.operatorGraphTabPage.TabIndex = 3;
    326374      this.operatorGraphTabPage.Text = "Operator Graph";
     
    336384      this.operatorGraphViewHost.Name = "operatorGraphViewHost";
    337385      this.operatorGraphViewHost.ReadOnly = true;
    338       this.operatorGraphViewHost.Size = new System.Drawing.Size(542, 470);
     386      this.operatorGraphViewHost.Size = new System.Drawing.Size(542, 412);
    339387      this.operatorGraphViewHost.TabIndex = 0;
    340388      this.operatorGraphViewHost.ViewsLabelVisible = true;
    341389      this.operatorGraphViewHost.ViewType = null;
    342390      //
    343       // algorithmStartButton
    344       //
    345       this.algorithmStartButton.Location = new System.Drawing.Point(91, 60);
    346       this.algorithmStartButton.Name = "algorithmStartButton";
    347       this.algorithmStartButton.Size = new System.Drawing.Size(26, 23);
    348       this.algorithmStartButton.TabIndex = 10;
    349       this.algorithmStartButton.Text = "Start";
    350       this.algorithmStartButton.UseVisualStyleBackColor = true;
    351       this.algorithmStartButton.Click += new System.EventHandler(this.AlgorithmStartButtonOnClick);
    352       //
    353       // minimumTargetLabel
    354       //
    355       this.minimumTargetLabel.AutoSize = true;
    356       this.minimumTargetLabel.Location = new System.Drawing.Point(384, 6);
    357       this.minimumTargetLabel.Name = "minimumTargetLabel";
    358       this.minimumTargetLabel.Size = new System.Drawing.Size(41, 13);
    359       this.minimumTargetLabel.TabIndex = 13;
    360       this.minimumTargetLabel.Text = "Target:";
    361       //
    362       // seedingStrategyLabel
    363       //
    364       this.seedingStrategyLabel.AutoSize = true;
    365       this.seedingStrategyLabel.Location = new System.Drawing.Point(3, 33);
    366       this.seedingStrategyLabel.Name = "seedingStrategyLabel";
    367       this.seedingStrategyLabel.Size = new System.Drawing.Size(91, 13);
    368       this.seedingStrategyLabel.TabIndex = 8;
    369       this.seedingStrategyLabel.Text = "Seeding Strategy:";
    370       //
    371       // evaluationsLimitabel
    372       //
    373       this.evaluationsLimitabel.AutoSize = true;
    374       this.evaluationsLimitabel.Location = new System.Drawing.Point(3, 6);
    375       this.evaluationsLimitabel.Name = "evaluationsLimitabel";
    376       this.evaluationsLimitabel.Size = new System.Drawing.Size(66, 13);
    377       this.evaluationsLimitabel.TabIndex = 13;
    378       this.evaluationsLimitabel.Text = "Budget (FE):";
    379       //
    380       // recommenderLabel
    381       //
    382       this.recommenderLabel.AutoSize = true;
    383       this.recommenderLabel.Location = new System.Drawing.Point(6, 9);
    384       this.recommenderLabel.Name = "recommenderLabel";
    385       this.recommenderLabel.Size = new System.Drawing.Size(79, 13);
    386       this.recommenderLabel.TabIndex = 9;
    387       this.recommenderLabel.Text = "Recommender:";
    388       //
    389       // suggestedInstancesComboBox
    390       //
    391       this.suggestedInstancesComboBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
    392             | System.Windows.Forms.AnchorStyles.Right)));
    393       this.suggestedInstancesComboBox.DropDownStyle = System.Windows.Forms.ComboBoxStyle.DropDownList;
    394       this.suggestedInstancesComboBox.FormattingEnabled = true;
    395       this.suggestedInstancesComboBox.Location = new System.Drawing.Point(91, 33);
    396       this.suggestedInstancesComboBox.Name = "suggestedInstancesComboBox";
    397       this.suggestedInstancesComboBox.Size = new System.Drawing.Size(186, 21);
    398       this.suggestedInstancesComboBox.TabIndex = 7;
    399       this.suggestedInstancesComboBox.SelectedIndexChanged += new System.EventHandler(this.SuggestedInstancesComboBoxOnSelectedIndexChanged);
    400       //
    401       // recommenderComboBox
    402       //
    403       this.recommenderComboBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
    404             | System.Windows.Forms.AnchorStyles.Right)));
    405       this.recommenderComboBox.DropDownStyle = System.Windows.Forms.ComboBoxStyle.DropDownList;
    406       this.recommenderComboBox.FormattingEnabled = true;
    407       this.recommenderComboBox.Location = new System.Drawing.Point(91, 6);
    408       this.recommenderComboBox.Name = "recommenderComboBox";
    409       this.recommenderComboBox.Size = new System.Drawing.Size(154, 21);
    410       this.recommenderComboBox.TabIndex = 7;
    411       this.recommenderComboBox.SelectedIndexChanged += new System.EventHandler(this.RecommenderComboBoxOnSelectedIndexChanged);
    412       //
    413       // solverSplitContainer
    414       //
    415       this.solverSplitContainer.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
    416             | System.Windows.Forms.AnchorStyles.Left)
    417             | System.Windows.Forms.AnchorStyles.Right)));
    418       this.solverSplitContainer.Location = new System.Drawing.Point(0, 56);
    419       this.solverSplitContainer.Name = "solverSplitContainer";
    420       //
    421       // solverSplitContainer.Panel1
    422       //
    423       this.solverSplitContainer.Panel1.Controls.Add(this.recommenderViewHost);
    424       this.solverSplitContainer.Panel1.Controls.Add(this.instanceLabel);
    425       this.solverSplitContainer.Panel1.Controls.Add(this.recommenderLabel);
    426       this.solverSplitContainer.Panel1.Controls.Add(this.recommenderComboBox);
    427       this.solverSplitContainer.Panel1.Controls.Add(this.algorithmCloneButton);
    428       this.solverSplitContainer.Panel1.Controls.Add(this.suggestedInstancesComboBox);
    429       this.solverSplitContainer.Panel1.Controls.Add(this.recommendRefreshButton);
    430       this.solverSplitContainer.Panel1.Controls.Add(this.algorithmStartButton);
    431       this.solverSplitContainer.Panel1.Padding = new System.Windows.Forms.Padding(3);
    432       //
    433       // solverSplitContainer.Panel2
    434       //
    435       this.solverSplitContainer.Panel2.Controls.Add(this.solverTabControl);
    436       this.solverSplitContainer.Panel2.Padding = new System.Windows.Forms.Padding(3);
    437       this.solverSplitContainer.Size = new System.Drawing.Size(849, 508);
    438       this.solverSplitContainer.SplitterDistance = 283;
    439       this.solverSplitContainer.TabIndex = 17;
    440       //
    441       // recommenderViewHost
    442       //
    443       this.recommenderViewHost.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
    444             | System.Windows.Forms.AnchorStyles.Left)
    445             | System.Windows.Forms.AnchorStyles.Right)));
    446       this.recommenderViewHost.Caption = "View";
    447       this.recommenderViewHost.Content = null;
    448       this.recommenderViewHost.Enabled = false;
    449       this.recommenderViewHost.Location = new System.Drawing.Point(6, 89);
    450       this.recommenderViewHost.Name = "recommenderViewHost";
    451       this.recommenderViewHost.ReadOnly = false;
    452       this.recommenderViewHost.Size = new System.Drawing.Size(271, 412);
    453       this.recommenderViewHost.TabIndex = 16;
    454       this.recommenderViewHost.ViewsLabelVisible = true;
    455       this.recommenderViewHost.ViewType = null;
    456       //
    457       // instanceLabel
    458       //
    459       this.instanceLabel.AutoSize = true;
    460       this.instanceLabel.Location = new System.Drawing.Point(6, 36);
    461       this.instanceLabel.Name = "instanceLabel";
    462       this.instanceLabel.Size = new System.Drawing.Size(51, 13);
    463       this.instanceLabel.TabIndex = 9;
    464       this.instanceLabel.Text = "Instance:";
    465       //
    466       // recommendRefreshButton
    467       //
    468       this.recommendRefreshButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Right)));
    469       this.recommendRefreshButton.Location = new System.Drawing.Point(251, 6);
    470       this.recommendRefreshButton.Name = "recommendRefreshButton";
    471       this.recommendRefreshButton.Size = new System.Drawing.Size(26, 23);
    472       this.recommendRefreshButton.TabIndex = 10;
    473       this.recommendRefreshButton.Text = "Start";
    474       this.recommendRefreshButton.UseVisualStyleBackColor = true;
    475       this.recommendRefreshButton.Click += new System.EventHandler(this.button1_Click);
    476       //
    477391      // SolverView
    478392      //
    479393      this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
    480394      this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
    481       this.Controls.Add(this.solverSplitContainer);
     395      this.Controls.Add(this.solverTabControl);
     396      this.Controls.Add(this.algorithmCloneButton);
     397      this.Controls.Add(this.instanceLabel);
     398      this.Controls.Add(this.algorithmStartButton);
    482399      this.Controls.Add(this.minTargetView);
    483400      this.Controls.Add(this.maxEvaluationsView);
     401      this.Controls.Add(this.suggestedInstancesComboBox);
    484402      this.Controls.Add(this.seedingStrategyPanel);
    485403      this.Controls.Add(this.minimumTargetLabel);
     
    495413      this.parametersTabPage.ResumeLayout(false);
    496414      this.operatorGraphTabPage.ResumeLayout(false);
    497       this.solverSplitContainer.Panel1.ResumeLayout(false);
    498       this.solverSplitContainer.Panel1.PerformLayout();
    499       this.solverSplitContainer.Panel2.ResumeLayout(false);
    500       ((System.ComponentModel.ISupportInitialize)(this.solverSplitContainer)).EndInit();
    501       this.solverSplitContainer.ResumeLayout(false);
    502415      this.ResumeLayout(false);
    503416      this.PerformLayout();
     
    508421
    509422    private System.Windows.Forms.Panel seedingStrategyPanel;
     423    private System.Windows.Forms.Button algorithmStartButton;
     424    private System.Windows.Forms.Label seedingStrategyLabel;
     425    private System.Windows.Forms.Label evaluationsLimitabel;
     426    private System.Windows.Forms.ComboBox suggestedInstancesComboBox;
     427    private System.Windows.Forms.Button algorithmCloneButton;
     428    private Data.Views.StringConvertibleValueView maxEvaluationsView;
     429    private System.Windows.Forms.Label minimumTargetLabel;
     430    private Data.Views.StringConvertibleValueView minTargetView;
     431    private System.Windows.Forms.Label instanceLabel;
    510432    private MainForm.WindowsForms.DragOverTabControl solverTabControl;
    511433    private System.Windows.Forms.TabPage resultsTabPage;
     434    private System.Windows.Forms.CheckBox showOnlyFinalResultCheckBox;
     435    private WeifenLuo.WinFormsUI.Docking.DockPanel resultsDockPanel;
     436    private System.Windows.Forms.TabPage runsTabPage;
     437    private Optimization.Views.RunCollectionView runsView;
     438    private System.Windows.Forms.TabPage seededRunsTabPage;
     439    private Optimization.Views.RunCollectionView seededRunsView;
    512440    private System.Windows.Forms.TabPage solutionSeedingTabPage;
    513441    private System.Windows.Forms.TabPage parametersTabPage;
     
    515443    private System.Windows.Forms.TabPage operatorGraphTabPage;
    516444    private MainForm.WindowsForms.ViewHost operatorGraphViewHost;
    517     private System.Windows.Forms.Button algorithmStartButton;
    518     private System.Windows.Forms.Label seedingStrategyLabel;
    519     private System.Windows.Forms.Label evaluationsLimitabel;
    520     private System.Windows.Forms.Label recommenderLabel;
    521     private System.Windows.Forms.ComboBox suggestedInstancesComboBox;
    522     private System.Windows.Forms.Button algorithmCloneButton;
    523     private System.Windows.Forms.TabPage runsTabPage;
    524     private Optimization.Views.RunCollectionView runsView;
    525     private Data.Views.StringConvertibleValueView maxEvaluationsView;
    526     private WeifenLuo.WinFormsUI.Docking.DockPanel resultsDockPanel;
    527     private System.Windows.Forms.CheckBox showOnlyFinalResultCheckBox;
    528     private System.Windows.Forms.TabPage seededRunsTabPage;
    529     private Optimization.Views.RunCollectionView seededRunsView;
    530     private System.Windows.Forms.Label minimumTargetLabel;
    531     private Data.Views.StringConvertibleValueView minTargetView;
    532     private System.Windows.Forms.ComboBox recommenderComboBox;
    533     private System.Windows.Forms.SplitContainer solverSplitContainer;
    534     private MainForm.WindowsForms.ViewHost recommenderViewHost;
    535     private System.Windows.Forms.Label instanceLabel;
    536     private System.Windows.Forms.Button recommendRefreshButton;
    537445  }
    538446}
Note: See TracChangeset for help on using the changeset viewer.