Free cookie consent management tool by TermsFeed Policy Generator

Ignore:
Timestamp:
03/16/21 08:55:43 (4 years ago)
Author:
chaider
Message:

#3073 Added changes for reintegration

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/3073_IA_constraint_splitting_reintegration/HeuristicLab.Problems.DataAnalysis.Views/3.4/ShapeConstraintsView.Designer.cs

    r17891 r17893  
    5151    /// </summary>
    5252    private void InitializeComponent() {
    53       System.ComponentModel.ComponentResourceManager resources = new System.ComponentModel.ComponentResourceManager(typeof(ShapeConstraintsView));
    54       this.splitContainer1 = new System.Windows.Forms.SplitContainer();
    55       this.groupBox1 = new System.Windows.Forms.GroupBox();
    56       this.constraintsInput = new System.Windows.Forms.TextBox();
    57       this.parseBtn = new System.Windows.Forms.Button();
    58       this.errorOutput = new System.Windows.Forms.Label();
    59       this.label1 = new System.Windows.Forms.Label();
    60       this.intervalConstraintsView = new CheckedItemListView<ShapeConstraint>();
    61       ((System.ComponentModel.ISupportInitialize)(this.splitContainer1)).BeginInit();
    62       this.splitContainer1.Panel1.SuspendLayout();
    63       this.splitContainer1.Panel2.SuspendLayout();
    64       this.splitContainer1.SuspendLayout();
    65       this.groupBox1.SuspendLayout();
    66       this.SuspendLayout();
    67       //
    68       // splitContainer1
    69       //
    70       this.splitContainer1.Dock = System.Windows.Forms.DockStyle.Fill;
    71       this.splitContainer1.Location = new System.Drawing.Point(0, 0);
    72       this.splitContainer1.Name = "splitContainer1";
    73       //
    74       // splitContainer1.Panel1
    75       //
    76       this.splitContainer1.Panel1.Controls.Add(this.groupBox1);
    77       //
    78       // splitContainer1.Panel2
    79       //
    80       this.splitContainer1.Panel2.Controls.Add(this.intervalConstraintsView);
    81       this.splitContainer1.Size = new System.Drawing.Size(888, 629);
    82       this.splitContainer1.SplitterDistance = 296;
    83       this.splitContainer1.TabIndex = 0;
    84       //
    85       // groupBox1
    86       //
    87       this.groupBox1.Controls.Add(this.constraintsInput);
    88       this.groupBox1.Controls.Add(this.parseBtn);
    89       this.groupBox1.Controls.Add(this.errorOutput);
    90       this.groupBox1.Controls.Add(this.label1);
    91       this.groupBox1.Dock = System.Windows.Forms.DockStyle.Fill;
    92       this.groupBox1.Location = new System.Drawing.Point(0, 0);
    93       this.groupBox1.Name = "groupBox1";
    94       this.groupBox1.Size = new System.Drawing.Size(296, 629);
    95       this.groupBox1.TabIndex = 3;
    96       this.groupBox1.TabStop = false;
    97       this.groupBox1.Text = "Constraints Input";
    98       //
    99       // constraintsInput
    100       //
    101       this.constraintsInput.AcceptsTab = true;
    102       this.constraintsInput.Dock = System.Windows.Forms.DockStyle.Fill;
    103       this.constraintsInput.Location = new System.Drawing.Point(3, 185);
    104       this.constraintsInput.Multiline = true;
    105       this.constraintsInput.Name = "constraintsInput";
    106       this.constraintsInput.ScrollBars = System.Windows.Forms.ScrollBars.Vertical;
    107       this.constraintsInput.Size = new System.Drawing.Size(290, 405);
    108       this.constraintsInput.TabIndex = 2;
    109       this.constraintsInput.TextChanged += new System.EventHandler(this.constraintsInput_TextChanged);
    110       //
    111       // parseBtn
    112       //
    113       this.parseBtn.Dock = System.Windows.Forms.DockStyle.Bottom;
    114       this.parseBtn.Location = new System.Drawing.Point(3, 590);
    115       this.parseBtn.Name = "parseBtn";
    116       this.parseBtn.Size = new System.Drawing.Size(290, 23);
    117       this.parseBtn.TabIndex = 1;
    118       this.parseBtn.Text = "Parse Constraints";
    119       this.parseBtn.UseVisualStyleBackColor = true;
    120       this.parseBtn.Click += new System.EventHandler(this.parseBtn_Click);
    121       //
    122       // errorOutput
    123       //
    124       this.errorOutput.MaximumSize = new Size(350, 0);
    125       this.errorOutput.AutoSize = true;
    126       this.errorOutput.ForeColor = Color.DarkRed;
    127       this.errorOutput.Dock = System.Windows.Forms.DockStyle.Bottom;
    128       this.errorOutput.Location = new System.Drawing.Point(3, 613);
    129       this.errorOutput.Name = "errorOutput";
    130       this.errorOutput.Size = new System.Drawing.Size(35, 13);
    131       this.errorOutput.TabIndex = 3;
    132       this.errorOutput.Text = "label2";
    133       //
    134       // label1
    135       //
    136       this.label1.AutoSize = true;
    137       this.label1.Dock = System.Windows.Forms.DockStyle.Top;
    138       this.label1.Location = new System.Drawing.Point(3, 16);
    139       this.label1.Name = "label1";
    140       this.label1.Size = new System.Drawing.Size(354, 169);
    141       this.label1.TabIndex = 0;
    142       this.label1.Text = "To define target variable constraints:" + Environment.NewLine +
    143                          "1. Start the definition with target:" + Environment.NewLine +
    144                          "2. Specify the target variable between '-characters" + Environment.NewLine +
    145                          "3. Add the keyword in" + Environment.NewLine +
    146                          "4. Specify the interval with [lowerbound .. upperbound]" + Environment.NewLine +
    147                          "To define a derivation constraint: " + Environment.NewLine +
    148                          "1. Start with d or \u2202" + Environment.NewLine +
    149                          "2. Specify the target between '-characters" + Environment.NewLine +
    150                          "3. Separate target and derivation variable with /" + Environment.NewLine +
    151                          "4. Add derivation variable between '-characters'" + Environment.NewLine +
    152                          "5. Follow the steps 3-4 from above";
    153       //
    154       // intervalConstraintsView
    155       //
    156       this.intervalConstraintsView.Dock = System.Windows.Forms.DockStyle.Fill;
    157       this.intervalConstraintsView.Location = new System.Drawing.Point(0, 0);
    158       this.intervalConstraintsView.Name = "intervalConstraintsView";
    159       this.intervalConstraintsView.Size = new System.Drawing.Size(588, 20);
    160       this.intervalConstraintsView.TabIndex = 2;
    161       //
    162       // ProblemDataConstraintView
    163       //
    164       this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
    165       this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
    166       this.Controls.Add(this.splitContainer1);
    167       this.Name = "ProblemDataConstraintView";
    168       this.Size = new System.Drawing.Size(888, 629);
    169       this.splitContainer1.Panel1.ResumeLayout(false);
    170       this.splitContainer1.Panel2.ResumeLayout(false);
    171       this.splitContainer1.Panel2.PerformLayout();
    172       ((System.ComponentModel.ISupportInitialize)(this.splitContainer1)).EndInit();
    173       this.splitContainer1.ResumeLayout(false);
    174       this.groupBox1.ResumeLayout(false);
    175       this.groupBox1.PerformLayout();
    176       this.ResumeLayout(false);
     53            this.components = new System.ComponentModel.Container();
     54            this.splitContainer1 = new System.Windows.Forms.SplitContainer();
     55            this.groupBox1 = new System.Windows.Forms.GroupBox();
     56            this.constraintsInput = new System.Windows.Forms.TextBox();
     57            this.parseBtn = new System.Windows.Forms.Button();
     58            this.label1 = new System.Windows.Forms.Label();
     59            this.errorOutput = new System.Windows.Forms.Label();
     60            this.intervalConstraintsView = new HeuristicLab.Core.Views.CheckedItemListView<ShapeConstraint>();
     61            this.toolTip1 = new System.Windows.Forms.ToolTip(this.components);
     62            ((System.ComponentModel.ISupportInitialize)(this.splitContainer1)).BeginInit();
     63            this.splitContainer1.Panel1.SuspendLayout();
     64            this.splitContainer1.Panel2.SuspendLayout();
     65            this.splitContainer1.SuspendLayout();
     66            this.groupBox1.SuspendLayout();
     67            this.SuspendLayout();
     68            //
     69            // splitContainer1
     70            //
     71            this.splitContainer1.Dock = System.Windows.Forms.DockStyle.Fill;
     72            this.splitContainer1.Location = new System.Drawing.Point(0, 0);
     73            this.splitContainer1.Name = "splitContainer1";
     74            //
     75            // splitContainer1.Panel1
     76            //
     77            this.splitContainer1.Panel1.Controls.Add(this.groupBox1);
     78            //
     79            // splitContainer1.Panel2
     80            //
     81            this.splitContainer1.Panel2.Controls.Add(this.intervalConstraintsView);
     82            this.splitContainer1.Size = new System.Drawing.Size(888, 629);
     83            this.splitContainer1.SplitterDistance = 296;
     84            this.splitContainer1.TabIndex = 0;
     85            //
     86            // groupBox1
     87            //
     88            this.groupBox1.Controls.Add(this.constraintsInput);
     89            this.groupBox1.Controls.Add(this.parseBtn);
     90            this.groupBox1.Controls.Add(this.label1);
     91            this.groupBox1.Controls.Add(this.errorOutput);
     92            this.groupBox1.Dock = System.Windows.Forms.DockStyle.Fill;
     93            this.groupBox1.Location = new System.Drawing.Point(0, 0);
     94            this.groupBox1.Name = "groupBox1";
     95            this.groupBox1.Size = new System.Drawing.Size(296, 629);
     96            this.groupBox1.TabIndex = 3;
     97            this.groupBox1.TabStop = false;
     98            this.groupBox1.Text = "Constraints Input";
     99            //
     100            // constraintsInput
     101            //
     102            this.constraintsInput.AcceptsTab = true;
     103            this.constraintsInput.Dock = System.Windows.Forms.DockStyle.Fill;
     104            this.constraintsInput.Location = new System.Drawing.Point(3, 29);
     105            this.constraintsInput.Multiline = true;
     106            this.constraintsInput.Name = "constraintsInput";
     107            this.constraintsInput.ScrollBars = System.Windows.Forms.ScrollBars.Vertical;
     108            this.constraintsInput.Size = new System.Drawing.Size(290, 561);
     109            this.constraintsInput.TabIndex = 2;
     110            this.constraintsInput.TextChanged += new System.EventHandler(this.constraintsInput_TextChanged);
     111            //
     112            // parseBtn
     113            //
     114            this.parseBtn.Dock = System.Windows.Forms.DockStyle.Bottom;
     115            this.parseBtn.Location = new System.Drawing.Point(3, 590);
     116            this.parseBtn.Name = "parseBtn";
     117            this.parseBtn.Size = new System.Drawing.Size(290, 23);
     118            this.parseBtn.TabIndex = 1;
     119            this.parseBtn.Text = "Parse Constraints";
     120            this.parseBtn.UseVisualStyleBackColor = true;
     121            this.parseBtn.Click += new System.EventHandler(this.parseBtn_Click);
     122            //
     123            // label1
     124            //
     125            this.label1.AutoSize = true;
     126            this.label1.Dock = System.Windows.Forms.DockStyle.Top;
     127            this.label1.Image = global::HeuristicLab.Problems.DataAnalysis.Views.Properties.Resources.VS2008ImageLibrary_Annotations_Information;
     128            this.label1.Location = new System.Drawing.Point(3, 16);
     129            this.label1.Name = "label1";
     130            this.label1.Size = new System.Drawing.Size(19, 13);
     131            this.label1.TabIndex = 4;
     132            this.label1.Text = "    ";
     133            this.toolTip1.SetToolTip(this.label1, "Double-click to open description.");
     134            this.label1.DoubleClick += new System.EventHandler(this.label1_DoubleClick);
     135            //
     136            // errorOutput
     137            //
     138            this.errorOutput.AutoSize = true;
     139            this.errorOutput.Dock = System.Windows.Forms.DockStyle.Bottom;
     140            this.errorOutput.ForeColor = System.Drawing.Color.DarkRed;
     141            this.errorOutput.Location = new System.Drawing.Point(3, 613);
     142            this.errorOutput.MaximumSize = new System.Drawing.Size(350, 0);
     143            this.errorOutput.Name = "errorOutput";
     144            this.errorOutput.Size = new System.Drawing.Size(35, 13);
     145            this.errorOutput.TabIndex = 3;
     146            this.errorOutput.Text = "label2";
     147            //
     148            // intervalConstraintsView
     149            //
     150            this.intervalConstraintsView.Dock = System.Windows.Forms.DockStyle.Fill;
     151            this.intervalConstraintsView.Location = new System.Drawing.Point(0, 0);
     152            this.intervalConstraintsView.Name = "intervalConstraintsView";
     153            this.intervalConstraintsView.Size = new System.Drawing.Size(588, 629);
     154            this.intervalConstraintsView.TabIndex = 2;
     155            this.intervalConstraintsView.TabStop = false;
     156            //
     157            // ShapeConstraintsView
     158            //
     159            this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
     160            this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
     161            this.Controls.Add(this.splitContainer1);
     162            this.Name = "ShapeConstraintsView";
     163            this.Size = new System.Drawing.Size(888, 629);
     164            this.splitContainer1.Panel1.ResumeLayout(false);
     165            this.splitContainer1.Panel2.ResumeLayout(false);
     166            ((System.ComponentModel.ISupportInitialize)(this.splitContainer1)).EndInit();
     167            this.splitContainer1.ResumeLayout(false);
     168            this.groupBox1.ResumeLayout(false);
     169            this.groupBox1.PerformLayout();
     170            this.ResumeLayout(false);
    177171
    178172    }
    … …  
    182176    private System.Windows.Forms.GroupBox groupBox1;
    183177    private System.Windows.Forms.Button parseBtn;
    184     private System.Windows.Forms.Label label1;
    185178    private HeuristicLab.Core.Views.CheckedItemListView<ShapeConstraint> intervalConstraintsView;
     179    //private System.Windows.Forms.GroupBox intervalConstraintsView;
    186180    private System.Windows.Forms.TextBox constraintsInput;
    187181    private Label errorOutput;
    188   }
     182    private Label label1;
     183    protected ToolTip toolTip1;
     184    }
    189185}
Note: See TracChangeset for help on using the changeset viewer.