#region License Information /* HeuristicLab * Copyright (C) Heuristic and Evolutionary Algorithms Laboratory (HEAL) * * This file is part of HeuristicLab. * * HeuristicLab is free software: you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by * the Free Software Foundation, either version 3 of the License, or * (at your option) any later version. * * HeuristicLab is distributed in the hope that it will be useful, * but WITHOUT ANY WARRANTY; without even the implied warranty of * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the * GNU General Public License for more details. * * You should have received a copy of the GNU General Public License * along with HeuristicLab. If not, see . */ #endregion namespace HeuristicLab.Problems.DataAnalysis.Symbolic.Views { partial class LaggedSymbolView { /// /// Required designer variable. /// private System.ComponentModel.IContainer components = null; /// /// Clean up any resources being used. /// /// true if managed resources should be disposed; otherwise, false. protected override void Dispose(bool disposing) { if (disposing && (components != null)) { components.Dispose(); } base.Dispose(disposing); } #region Component Designer generated code /// /// Required method for Designer support - do not modify /// the contents of this method with the code editor. /// private void InitializeComponent() { this.minTimeOffsetLabel = new System.Windows.Forms.Label(); this.maxTimeOffsetLabel = new System.Windows.Forms.Label(); this.minTimeOffsetTextBox = new System.Windows.Forms.TextBox(); this.maxTimeOffsetTextBox = new System.Windows.Forms.TextBox(); ((System.ComponentModel.ISupportInitialize)(this.errorProvider)).BeginInit(); this.SuspendLayout(); // // initialFrequencyLabel // this.toolTip.SetToolTip(this.initialFrequencyLabel, "Relative frequency of the symbol in randomly created trees"); // // initialFrequencyTextBox // this.errorProvider.SetIconAlignment(this.initialFrequencyTextBox, System.Windows.Forms.ErrorIconAlignment.MiddleLeft); this.initialFrequencyTextBox.Size = new System.Drawing.Size(315, 20); // // minimumArityTextBox // this.errorProvider.SetIconAlignment(this.minimumArityTextBox, System.Windows.Forms.ErrorIconAlignment.MiddleLeft); this.minimumArityTextBox.Size = new System.Drawing.Size(315, 20); // // maximumArityTextBox // this.errorProvider.SetIconAlignment(this.maximumArityTextBox, System.Windows.Forms.ErrorIconAlignment.MiddleLeft); this.maximumArityTextBox.Size = new System.Drawing.Size(315, 20); // // nameTextBox // this.errorProvider.SetIconAlignment(this.nameTextBox, System.Windows.Forms.ErrorIconAlignment.MiddleLeft); this.errorProvider.SetIconPadding(this.nameTextBox, 2); this.nameTextBox.Size = new System.Drawing.Size(290, 20); // // infoLabel // this.infoLabel.Location = new System.Drawing.Point(389, 3); // // minTimeOffsetLabel // this.minTimeOffsetLabel.AutoSize = true; this.minTimeOffsetLabel.Location = new System.Drawing.Point(3, 130); this.minTimeOffsetLabel.Name = "minTimeOffsetLabel"; this.minTimeOffsetLabel.Size = new System.Drawing.Size(81, 13); this.minTimeOffsetLabel.TabIndex = 5; this.minTimeOffsetLabel.Text = "Min. time offset:"; // // maxTimeOffsetLabel // this.maxTimeOffsetLabel.AutoSize = true; this.maxTimeOffsetLabel.Location = new System.Drawing.Point(3, 156); this.maxTimeOffsetLabel.Name = "maxTimeOffsetLabel"; this.maxTimeOffsetLabel.Size = new System.Drawing.Size(84, 13); this.maxTimeOffsetLabel.TabIndex = 7; this.maxTimeOffsetLabel.Text = "Max. time offset:"; // // minTimeOffsetTextBox // this.minTimeOffsetTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left) | System.Windows.Forms.AnchorStyles.Right))); this.minTimeOffsetTextBox.Location = new System.Drawing.Point(93, 127); this.minTimeOffsetTextBox.Name = "minTimeOffsetTextBox"; this.minTimeOffsetTextBox.Size = new System.Drawing.Size(315, 20); this.minTimeOffsetTextBox.TabIndex = 6; this.minTimeOffsetTextBox.TextChanged += new System.EventHandler(this.minTimeOffsetTextBox_TextChanged); // // maxTimeOffsetTextBox // this.maxTimeOffsetTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left) | System.Windows.Forms.AnchorStyles.Right))); this.maxTimeOffsetTextBox.Location = new System.Drawing.Point(93, 153); this.maxTimeOffsetTextBox.Name = "maxTimeOffsetTextBox"; this.maxTimeOffsetTextBox.Size = new System.Drawing.Size(315, 20); this.maxTimeOffsetTextBox.TabIndex = 8; this.maxTimeOffsetTextBox.TextChanged += new System.EventHandler(this.maxTimeOffsetTextBox_TextChanged); // // LaggedSymbolView // this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F); this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Inherit; this.Controls.Add(this.maxTimeOffsetTextBox); this.Controls.Add(this.minTimeOffsetTextBox); this.Controls.Add(this.maxTimeOffsetLabel); this.Controls.Add(this.minTimeOffsetLabel); this.Name = "LaggedSymbolView"; this.Size = new System.Drawing.Size(408, 179); this.Controls.SetChildIndex(this.maximumArityLabel, 0); this.Controls.SetChildIndex(this.maximumArityTextBox, 0); this.Controls.SetChildIndex(this.minimumArityLabel, 0); this.Controls.SetChildIndex(this.minimumArityTextBox, 0); this.Controls.SetChildIndex(this.infoLabel, 0); this.Controls.SetChildIndex(this.initialFrequencyTextBox, 0); this.Controls.SetChildIndex(this.initialFrequencyLabel, 0); this.Controls.SetChildIndex(this.nameLabel, 0); this.Controls.SetChildIndex(this.nameTextBox, 0); this.Controls.SetChildIndex(this.minTimeOffsetLabel, 0); this.Controls.SetChildIndex(this.maxTimeOffsetLabel, 0); this.Controls.SetChildIndex(this.minTimeOffsetTextBox, 0); this.Controls.SetChildIndex(this.maxTimeOffsetTextBox, 0); ((System.ComponentModel.ISupportInitialize)(this.errorProvider)).EndInit(); this.ResumeLayout(false); this.PerformLayout(); } #endregion private System.Windows.Forms.Label minTimeOffsetLabel; private System.Windows.Forms.Label maxTimeOffsetLabel; private System.Windows.Forms.TextBox minTimeOffsetTextBox; private System.Windows.Forms.TextBox maxTimeOffsetTextBox; } }