namespace ClabGui
{
    partial class MainGui
    {
        /// <summary>
        /// Required designer variable.
        /// </summary>
        private System.ComponentModel.IContainer components = null;

        /// <summary>
        /// Clean up any resources being used.
        /// </summary>
        /// <param name="disposing">true if managed resources should be disposed; otherwise, false.</param>
        protected override void Dispose(bool disposing)
        {
            if (disposing && (components != null))
            {
                components.Dispose();
            }
            base.Dispose(disposing);
        }

        #region Windows Form Designer generated code

        /// <summary>
        /// Required method for Designer support - do not modify
        /// the contents of this method with the code editor.
        /// </summary>
        private void InitializeComponent()
        {
            this.components = new System.ComponentModel.Container();
            this.topMenu = new System.Windows.Forms.MenuStrip();
            this.fileMenu = new System.Windows.Forms.ToolStripMenuItem();
            this.fileMenuOpen = new System.Windows.Forms.ToolStripMenuItem();
            this.fileMenuSave = new System.Windows.Forms.ToolStripMenuItem();
            this.fileMenuSaveAs = new System.Windows.Forms.ToolStripMenuItem();
            this.fileMenuCloseProblem = new System.Windows.Forms.ToolStripMenuItem();
            this.fileMenuExit = new System.Windows.Forms.ToolStripMenuItem();
            this.editMenu = new System.Windows.Forms.ToolStripMenuItem();
            this.editMenuCut = new System.Windows.Forms.ToolStripMenuItem();
            this.editMenuCopy = new System.Windows.Forms.ToolStripMenuItem();
            this.editMenuPaste = new System.Windows.Forms.ToolStripMenuItem();
            this.runMenu = new System.Windows.Forms.ToolStripMenuItem();
            this.runMenuStartSearch = new System.Windows.Forms.ToolStripMenuItem();
            this.runMenuPauseSearch = new System.Windows.Forms.ToolStripMenuItem();
            this.runMenuStopSearch = new System.Windows.Forms.ToolStripMenuItem();
            this.runMenuRestart = new System.Windows.Forms.ToolStripMenuItem();
            this.settingsMenu = new System.Windows.Forms.ToolStripMenuItem();
            this.SM_SolveWith = new System.Windows.Forms.ToolStripMenuItem();
            this.SolveWithBDD = new System.Windows.Forms.ToolStripMenuItem();
            this.SolveWithCSP = new System.Windows.Forms.ToolStripMenuItem();
            this.SM_BDDSettings = new System.Windows.Forms.ToolStripMenuItem();
            this.BDDS_CM_ts = new System.Windows.Forms.ToolStripMenuItem();
            this.BDDCM_Static = new System.Windows.Forms.ToolStripMenuItem();
            this.BDDCM_Dynamic = new System.Windows.Forms.ToolStripMenuItem();
            this.BDDCM_Ascending = new System.Windows.Forms.ToolStripMenuItem();
            this.BDDS_IDBC_ts = new System.Windows.Forms.ToolStripMenuItem();
            this.initialDBCache_tb = new System.Windows.Forms.ToolStripTextBox();
            this.BDDS_IBDDN_ts = new System.Windows.Forms.ToolStripMenuItem();
            this.initialBDDNodes_tb = new System.Windows.Forms.ToolStripTextBox();
            this.BDDS_MI_ts = new System.Windows.Forms.ToolStripMenuItem();
            this.bddMaxIncrease_tb = new System.Windows.Forms.ToolStripTextBox();
            this.SM_CSPVarOrder_ts = new System.Windows.Forms.ToolStripMenuItem();
            this.CSPVO_Static = new System.Windows.Forms.ToolStripMenuItem();
            this.CSPVO_MinimumWidth = new System.Windows.Forms.ToolStripMenuItem();
            this.autocompleteToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
            this.helpMenu = new System.Windows.Forms.ToolStripMenuItem();
            this.helpMenuAbout = new System.Windows.Forms.ToolStripMenuItem();
            this.cutToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
            this.copyToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
            this.pasteToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
            this.codeTextBoxStripMenu = new System.Windows.Forms.ContextMenuStrip(this.components);
            this.cTBStripMenuCut = new System.Windows.Forms.ToolStripMenuItem();
            this.cTBStripMenuCopy = new System.Windows.Forms.ToolStripMenuItem();
            this.cTBStripMenuPaste = new System.Windows.Forms.ToolStripMenuItem();
            this.statusPanel = new System.Windows.Forms.Panel();
            this.positionNumberTF = new System.Windows.Forms.TextBox();
            this.statusBarText = new System.Windows.Forms.TextBox();
            this.statusBarProgress = new System.Windows.Forms.ProgressBar();
            this.toolStripMenu = new System.Windows.Forms.ToolStrip();
            this.tsStart = new System.Windows.Forms.ToolStripButton();
            this.tsPause = new System.Windows.Forms.ToolStripButton();
            this.tsStop = new System.Windows.Forms.ToolStripButton();
            this.tsRestart = new System.Windows.Forms.ToolStripButton();
            this.tabControl = new System.Windows.Forms.TabControl();
            this.codeTab = new System.Windows.Forms.TabPage();
            this.parameterTab = new System.Windows.Forms.TabPage();
            this.progressPanel = new System.Windows.Forms.Panel();
            this.statusBoxMouseOver = new System.Windows.Forms.ToolTip(this.components);
            this.codeTextBox = new ClabGui.FlickerFreeRichEditTextBox();
            this.topMenu.SuspendLayout();
            this.codeTextBoxStripMenu.SuspendLayout();
            this.statusPanel.SuspendLayout();
            this.toolStripMenu.SuspendLayout();
            this.tabControl.SuspendLayout();
            this.codeTab.SuspendLayout();
            this.parameterTab.SuspendLayout();
            this.SuspendLayout();
            // 
            // topMenu
            // 
            this.topMenu.Items.AddRange(new System.Windows.Forms.ToolStripItem[] {
            this.fileMenu,
            this.editMenu,
            this.runMenu,
            this.settingsMenu,
            this.helpMenu});
            this.topMenu.Location = new System.Drawing.Point(0, 0);
            this.topMenu.Name = "topMenu";
            this.topMenu.Size = new System.Drawing.Size(632, 24);
            this.topMenu.TabIndex = 1;
            this.topMenu.Text = "menuStrip1";
            // 
            // fileMenu
            // 
            this.fileMenu.DropDownItems.AddRange(new System.Windows.Forms.ToolStripItem[] {
            this.fileMenuOpen,
            this.fileMenuSave,
            this.fileMenuSaveAs,
            this.fileMenuCloseProblem,
            this.fileMenuExit});
            this.fileMenu.Name = "fileMenu";
            this.fileMenu.Size = new System.Drawing.Size(35, 20);
            this.fileMenu.Text = "File";
            // 
            // fileMenuOpen
            // 
            this.fileMenuOpen.Name = "fileMenuOpen";
            this.fileMenuOpen.ShortcutKeys = ((System.Windows.Forms.Keys)((System.Windows.Forms.Keys.Control | System.Windows.Forms.Keys.O)));
            this.fileMenuOpen.Size = new System.Drawing.Size(192, 22);
            this.fileMenuOpen.Text = "Open";
            this.fileMenuOpen.Click += new System.EventHandler(this.fileMenuOpen_Click);
            // 
            // fileMenuSave
            // 
            this.fileMenuSave.Name = "fileMenuSave";
            this.fileMenuSave.ShortcutKeys = ((System.Windows.Forms.Keys)((System.Windows.Forms.Keys.Control | System.Windows.Forms.Keys.S)));
            this.fileMenuSave.Size = new System.Drawing.Size(192, 22);
            this.fileMenuSave.Text = "Save";
            this.fileMenuSave.Click += new System.EventHandler(this.fileMenuSave_Click);
            // 
            // fileMenuSaveAs
            // 
            this.fileMenuSaveAs.Name = "fileMenuSaveAs";
            this.fileMenuSaveAs.ShortcutKeys = ((System.Windows.Forms.Keys)(((System.Windows.Forms.Keys.Control | System.Windows.Forms.Keys.Shift)
                        | System.Windows.Forms.Keys.S)));
            this.fileMenuSaveAs.Size = new System.Drawing.Size(192, 22);
            this.fileMenuSaveAs.Text = "Save As";
            this.fileMenuSaveAs.Click += new System.EventHandler(this.fileMenuSaveAs_Click);
            // 
            // fileMenuCloseProblem
            // 
            this.fileMenuCloseProblem.Name = "fileMenuCloseProblem";
            this.fileMenuCloseProblem.ShortcutKeys = ((System.Windows.Forms.Keys)((System.Windows.Forms.Keys.Control | System.Windows.Forms.Keys.W)));
            this.fileMenuCloseProblem.Size = new System.Drawing.Size(192, 22);
            this.fileMenuCloseProblem.Text = "Close";
            this.fileMenuCloseProblem.Click += new System.EventHandler(this.fileMenuCloseProblem_Click);
            // 
            // fileMenuExit
            // 
            this.fileMenuExit.Name = "fileMenuExit";
            this.fileMenuExit.ShortcutKeys = ((System.Windows.Forms.Keys)((System.Windows.Forms.Keys.Control | System.Windows.Forms.Keys.Q)));
            this.fileMenuExit.Size = new System.Drawing.Size(192, 22);
            this.fileMenuExit.Text = "Exit";
            this.fileMenuExit.Click += new System.EventHandler(this.fileMenuExit_Click);
            // 
            // editMenu
            // 
            this.editMenu.DropDownItems.AddRange(new System.Windows.Forms.ToolStripItem[] {
            this.editMenuCut,
            this.editMenuCopy,
            this.editMenuPaste});
            this.editMenu.Name = "editMenu";
            this.editMenu.Size = new System.Drawing.Size(37, 20);
            this.editMenu.Text = "Edit";
            // 
            // editMenuCut
            // 
            this.editMenuCut.Name = "editMenuCut";
            this.editMenuCut.ShortcutKeys = ((System.Windows.Forms.Keys)((System.Windows.Forms.Keys.Control | System.Windows.Forms.Keys.X)));
            this.editMenuCut.Size = new System.Drawing.Size(150, 22);
            this.editMenuCut.Text = "Cut";
            this.editMenuCut.Click += new System.EventHandler(this.editMenuCut_Click);
            // 
            // editMenuCopy
            // 
            this.editMenuCopy.Name = "editMenuCopy";
            this.editMenuCopy.ShortcutKeys = ((System.Windows.Forms.Keys)((System.Windows.Forms.Keys.Control | System.Windows.Forms.Keys.C)));
            this.editMenuCopy.Size = new System.Drawing.Size(150, 22);
            this.editMenuCopy.Text = "Copy";
            this.editMenuCopy.Click += new System.EventHandler(this.editMenuCopy_Click);
            // 
            // editMenuPaste
            // 
            this.editMenuPaste.Name = "editMenuPaste";
            this.editMenuPaste.ShortcutKeys = ((System.Windows.Forms.Keys)((System.Windows.Forms.Keys.Control | System.Windows.Forms.Keys.V)));
            this.editMenuPaste.Size = new System.Drawing.Size(150, 22);
            this.editMenuPaste.Text = "Paste";
            this.editMenuPaste.Click += new System.EventHandler(this.editMenuPaste_Click);
            // 
            // runMenu
            // 
            this.runMenu.DropDownItems.AddRange(new System.Windows.Forms.ToolStripItem[] {
            this.runMenuStartSearch,
            this.runMenuPauseSearch,
            this.runMenuStopSearch,
            this.runMenuRestart});
            this.runMenu.Name = "runMenu";
            this.runMenu.Size = new System.Drawing.Size(38, 20);
            this.runMenu.Text = "Run";
            // 
            // runMenuStartSearch
            // 
            this.runMenuStartSearch.Name = "runMenuStartSearch";
            this.runMenuStartSearch.ShortcutKeys = System.Windows.Forms.Keys.F5;
            this.runMenuStartSearch.Size = new System.Drawing.Size(188, 22);
            this.runMenuStartSearch.Text = "Start Search";
            this.runMenuStartSearch.Click += new System.EventHandler(this.runMenuStartSearch_Click);
            // 
            // runMenuPauseSearch
            // 
            this.runMenuPauseSearch.Name = "runMenuPauseSearch";
            this.runMenuPauseSearch.ShortcutKeys = ((System.Windows.Forms.Keys)((System.Windows.Forms.Keys.Control | System.Windows.Forms.Keys.P)));
            this.runMenuPauseSearch.Size = new System.Drawing.Size(188, 22);
            this.runMenuPauseSearch.Text = "Pause Search";
            this.runMenuPauseSearch.Click += new System.EventHandler(this.runMenuPauseSearch_Click);
            // 
            // runMenuStopSearch
            // 
            this.runMenuStopSearch.Name = "runMenuStopSearch";
            this.runMenuStopSearch.ShortcutKeys = ((System.Windows.Forms.Keys)((System.Windows.Forms.Keys.Control | System.Windows.Forms.Keys.S)));
            this.runMenuStopSearch.Size = new System.Drawing.Size(188, 22);
            this.runMenuStopSearch.Text = "Stop Search";
            this.runMenuStopSearch.Click += new System.EventHandler(this.runMenuStopSearch_Click);
            // 
            // runMenuRestart
            // 
            this.runMenuRestart.Name = "runMenuRestart";
            this.runMenuRestart.ShortcutKeys = ((System.Windows.Forms.Keys)((System.Windows.Forms.Keys.Control | System.Windows.Forms.Keys.R)));
            this.runMenuRestart.Size = new System.Drawing.Size(188, 22);
            this.runMenuRestart.Text = "Restart";
            this.runMenuRestart.Click += new System.EventHandler(this.runMenuRestart_Click);
            // 
            // settingsMenu
            // 
            this.settingsMenu.DropDownItems.AddRange(new System.Windows.Forms.ToolStripItem[] {
            this.SM_SolveWith,
            this.SM_BDDSettings,
            this.SM_CSPVarOrder_ts,
            this.autocompleteToolStripMenuItem});
            this.settingsMenu.Name = "settingsMenu";
            this.settingsMenu.Size = new System.Drawing.Size(58, 20);
            this.settingsMenu.Text = "Settings";
            // 
            // SM_SolveWith
            // 
            this.SM_SolveWith.DropDownItems.AddRange(new System.Windows.Forms.ToolStripItem[] {
            this.SolveWithBDD,
            this.SolveWithCSP});
            this.SM_SolveWith.Name = "SM_SolveWith";
            this.SM_SolveWith.Size = new System.Drawing.Size(190, 22);
            this.SM_SolveWith.Text = "Solve With...";
            // 
            // SolveWithBDD
            // 
            this.SolveWithBDD.Name = "SolveWithBDD";
            this.SolveWithBDD.Size = new System.Drawing.Size(152, 22);
            this.SolveWithBDD.Text = "BDD";
            this.SolveWithBDD.Click += new System.EventHandler(this.SolveWithBDD_Click);
            // 
            // SolveWithCSP
            // 
            this.SolveWithCSP.Name = "SolveWithCSP";
            this.SolveWithCSP.Size = new System.Drawing.Size(152, 22);
            this.SolveWithCSP.Text = "CSP";
            this.SolveWithCSP.Click += new System.EventHandler(this.SolveWithCSP_Click);
            // 
            // SM_BDDSettings
            // 
            this.SM_BDDSettings.DropDownItems.AddRange(new System.Windows.Forms.ToolStripItem[] {
            this.BDDS_CM_ts,
            this.BDDS_IDBC_ts,
            this.BDDS_IBDDN_ts,
            this.BDDS_MI_ts});
            this.SM_BDDSettings.Name = "SM_BDDSettings";
            this.SM_BDDSettings.Size = new System.Drawing.Size(190, 22);
            this.SM_BDDSettings.Text = "BDD Settings";
            // 
            // BDDS_CM_ts
            // 
            this.BDDS_CM_ts.DropDownItems.AddRange(new System.Windows.Forms.ToolStripItem[] {
            this.BDDCM_Static,
            this.BDDCM_Dynamic,
            this.BDDCM_Ascending});
            this.BDDS_CM_ts.Name = "BDDS_CM_ts";
            this.BDDS_CM_ts.Size = new System.Drawing.Size(167, 22);
            this.BDDS_CM_ts.Text = "Compile Method";
            // 
            // BDDCM_Static
            // 
            this.BDDCM_Static.Name = "BDDCM_Static";
            this.BDDCM_Static.Size = new System.Drawing.Size(134, 22);
            this.BDDCM_Static.Text = "Static";
            this.BDDCM_Static.Click += new System.EventHandler(this.BDDCM_Static_Click);
            // 
            // BDDCM_Dynamic
            // 
            this.BDDCM_Dynamic.Name = "BDDCM_Dynamic";
            this.BDDCM_Dynamic.Size = new System.Drawing.Size(134, 22);
            this.BDDCM_Dynamic.Text = "Dynamic";
            this.BDDCM_Dynamic.Click += new System.EventHandler(this.BDDCM_Dynamic_Click);
            // 
            // BDDCM_Ascending
            // 
            this.BDDCM_Ascending.Name = "BDDCM_Ascending";
            this.BDDCM_Ascending.Size = new System.Drawing.Size(134, 22);
            this.BDDCM_Ascending.Text = "Ascending";
            this.BDDCM_Ascending.Click += new System.EventHandler(this.BDDCM_Ascending_Click);
            // 
            // BDDS_IDBC_ts
            // 
            this.BDDS_IDBC_ts.DropDownItems.AddRange(new System.Windows.Forms.ToolStripItem[] {
            this.initialDBCache_tb});
            this.BDDS_IDBC_ts.Name = "BDDS_IDBC_ts";
            this.BDDS_IDBC_ts.Size = new System.Drawing.Size(167, 22);
            this.BDDS_IDBC_ts.Text = "Initial DB Cache";
            // 
            // initialDBCache_tb
            // 
            this.initialDBCache_tb.Name = "initialDBCache_tb";
            this.initialDBCache_tb.Size = new System.Drawing.Size(100, 21);
            this.initialDBCache_tb.Text = "100000";
            // 
            // BDDS_IBDDN_ts
            // 
            this.BDDS_IBDDN_ts.DropDownItems.AddRange(new System.Windows.Forms.ToolStripItem[] {
            this.initialBDDNodes_tb});
            this.BDDS_IBDDN_ts.Name = "BDDS_IBDDN_ts";
            this.BDDS_IBDDN_ts.Size = new System.Drawing.Size(167, 22);
            this.BDDS_IBDDN_ts.Text = "Initial BDD Nodes";
            // 
            // initialBDDNodes_tb
            // 
            this.initialBDDNodes_tb.Name = "initialBDDNodes_tb";
            this.initialBDDNodes_tb.Size = new System.Drawing.Size(100, 21);
            this.initialBDDNodes_tb.Text = "100000";
            // 
            // BDDS_MI_ts
            // 
            this.BDDS_MI_ts.DropDownItems.AddRange(new System.Windows.Forms.ToolStripItem[] {
            this.bddMaxIncrease_tb});
            this.BDDS_MI_ts.Name = "BDDS_MI_ts";
            this.BDDS_MI_ts.Size = new System.Drawing.Size(167, 22);
            this.BDDS_MI_ts.Text = "Max Increase";
            // 
            // bddMaxIncrease_tb
            // 
            this.bddMaxIncrease_tb.Name = "bddMaxIncrease_tb";
            this.bddMaxIncrease_tb.Size = new System.Drawing.Size(100, 21);
            this.bddMaxIncrease_tb.Text = "50000";
            // 
            // SM_CSPVarOrder_ts
            // 
            this.SM_CSPVarOrder_ts.DropDownItems.AddRange(new System.Windows.Forms.ToolStripItem[] {
            this.CSPVO_Static,
            this.CSPVO_MinimumWidth});
            this.SM_CSPVarOrder_ts.Name = "SM_CSPVarOrder_ts";
            this.SM_CSPVarOrder_ts.Size = new System.Drawing.Size(190, 22);
            this.SM_CSPVarOrder_ts.Text = "CSP Variable Ordering";
            // 
            // CSPVO_Static
            // 
            this.CSPVO_Static.Name = "CSPVO_Static";
            this.CSPVO_Static.Size = new System.Drawing.Size(156, 22);
            this.CSPVO_Static.Text = "Static";
            this.CSPVO_Static.Click += new System.EventHandler(this.CSPVO_Static_Click);
            // 
            // CSPVO_MinimumWidth
            // 
            this.CSPVO_MinimumWidth.Name = "CSPVO_MinimumWidth";
            this.CSPVO_MinimumWidth.Size = new System.Drawing.Size(156, 22);
            this.CSPVO_MinimumWidth.Text = "Minimum Width";
            this.CSPVO_MinimumWidth.Click += new System.EventHandler(this.CSPVO_MinimumWidth_Click);
            // 
            // autocompleteToolStripMenuItem
            // 
            this.autocompleteToolStripMenuItem.Checked = true;
            this.autocompleteToolStripMenuItem.CheckState = System.Windows.Forms.CheckState.Checked;
            this.autocompleteToolStripMenuItem.Name = "autocompleteToolStripMenuItem";
            this.autocompleteToolStripMenuItem.Size = new System.Drawing.Size(190, 22);
            this.autocompleteToolStripMenuItem.Text = "Autocomplete";
            this.autocompleteToolStripMenuItem.Click += new System.EventHandler(this.autocompleteToolStripMenuItem_Click);
            // 
            // helpMenu
            // 
            this.helpMenu.DropDownItems.AddRange(new System.Windows.Forms.ToolStripItem[] {
            this.helpMenuAbout});
            this.helpMenu.Name = "helpMenu";
            this.helpMenu.Size = new System.Drawing.Size(40, 20);
            this.helpMenu.Text = "Help";
            // 
            // helpMenuAbout
            // 
            this.helpMenuAbout.Name = "helpMenuAbout";
            this.helpMenuAbout.ShortcutKeys = System.Windows.Forms.Keys.F1;
            this.helpMenuAbout.Size = new System.Drawing.Size(152, 22);
            this.helpMenuAbout.Text = "About";
            this.helpMenuAbout.Click += new System.EventHandler(this.helpMenuAbout_Click);
            // 
            // cutToolStripMenuItem
            // 
            this.cutToolStripMenuItem.Name = "cutToolStripMenuItem";
            this.cutToolStripMenuItem.Size = new System.Drawing.Size(32, 19);
            // 
            // copyToolStripMenuItem
            // 
            this.copyToolStripMenuItem.Name = "copyToolStripMenuItem";
            this.copyToolStripMenuItem.Size = new System.Drawing.Size(32, 19);
            // 
            // pasteToolStripMenuItem
            // 
            this.pasteToolStripMenuItem.Name = "pasteToolStripMenuItem";
            this.pasteToolStripMenuItem.Size = new System.Drawing.Size(32, 19);
            // 
            // codeTextBoxStripMenu
            // 
            this.codeTextBoxStripMenu.Items.AddRange(new System.Windows.Forms.ToolStripItem[] {
            this.cTBStripMenuCut,
            this.cTBStripMenuCopy,
            this.cTBStripMenuPaste});
            this.codeTextBoxStripMenu.Name = "codeTextBoxStripMenu";
            this.codeTextBoxStripMenu.Size = new System.Drawing.Size(113, 70);
            // 
            // cTBStripMenuCut
            // 
            this.cTBStripMenuCut.Name = "cTBStripMenuCut";
            this.cTBStripMenuCut.Size = new System.Drawing.Size(112, 22);
            this.cTBStripMenuCut.Text = "Cut";
            this.cTBStripMenuCut.Click += new System.EventHandler(this.editMenuCut_Click);
            // 
            // cTBStripMenuCopy
            // 
            this.cTBStripMenuCopy.Name = "cTBStripMenuCopy";
            this.cTBStripMenuCopy.Size = new System.Drawing.Size(112, 22);
            this.cTBStripMenuCopy.Text = "Copy";
            this.cTBStripMenuCopy.Click += new System.EventHandler(this.editMenuCopy_Click);
            // 
            // cTBStripMenuPaste
            // 
            this.cTBStripMenuPaste.Name = "cTBStripMenuPaste";
            this.cTBStripMenuPaste.Size = new System.Drawing.Size(112, 22);
            this.cTBStripMenuPaste.Text = "Paste";
            this.cTBStripMenuPaste.Click += new System.EventHandler(this.editMenuPaste_Click);
            // 
            // statusPanel
            // 
            this.statusPanel.AutoSizeMode = System.Windows.Forms.AutoSizeMode.GrowAndShrink;
            this.statusPanel.BorderStyle = System.Windows.Forms.BorderStyle.FixedSingle;
            this.statusPanel.Controls.Add(this.positionNumberTF);
            this.statusPanel.Controls.Add(this.statusBarText);
            this.statusPanel.Controls.Add(this.statusBarProgress);
            this.statusPanel.Dock = System.Windows.Forms.DockStyle.Bottom;
            this.statusPanel.Location = new System.Drawing.Point(0, 436);
            this.statusPanel.Name = "statusPanel";
            this.statusPanel.Size = new System.Drawing.Size(632, 17);
            this.statusPanel.TabIndex = 5;
            // 
            // positionNumberTF
            // 
            this.positionNumberTF.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
                        | System.Windows.Forms.AnchorStyles.Left)));
            this.positionNumberTF.BorderStyle = System.Windows.Forms.BorderStyle.None;
            this.positionNumberTF.Location = new System.Drawing.Point(6, 0);
            this.positionNumberTF.Name = "positionNumberTF";
            this.positionNumberTF.ReadOnly = true;
            this.positionNumberTF.Size = new System.Drawing.Size(100, 13);
            this.positionNumberTF.TabIndex = 3;
            // 
            // statusBarText
            // 
            this.statusBarText.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
                        | System.Windows.Forms.AnchorStyles.Left)
                        | System.Windows.Forms.AnchorStyles.Right)));
            this.statusBarText.BorderStyle = System.Windows.Forms.BorderStyle.None;
            this.statusBarText.Location = new System.Drawing.Point(287, 1);
            this.statusBarText.MinimumSize = new System.Drawing.Size(100, 13);
            this.statusBarText.Name = "statusBarText";
            this.statusBarText.ReadOnly = true;
            this.statusBarText.Size = new System.Drawing.Size(340, 13);
            this.statusBarText.TabIndex = 2;
            this.statusBarText.TextAlign = System.Windows.Forms.HorizontalAlignment.Right;
            this.statusBarText.MouseLeave += new System.EventHandler(this.statusTekstBox_MouseLeave);
            this.statusBarText.MouseHover += new System.EventHandler(this.statusTekstBox_MouseHover);
            // 
            // statusBarProgress
            // 
            this.statusBarProgress.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
                        | System.Windows.Forms.AnchorStyles.Left)));
            this.statusBarProgress.Location = new System.Drawing.Point(0, 0);
            this.statusBarProgress.MinimumSize = new System.Drawing.Size(181, 15);
            this.statusBarProgress.Name = "statusBarProgress";
            this.statusBarProgress.Size = new System.Drawing.Size(281, 15);
            this.statusBarProgress.Style = System.Windows.Forms.ProgressBarStyle.Continuous;
            this.statusBarProgress.TabIndex = 1;
            this.statusBarProgress.Visible = false;
            // 
            // toolStripMenu
            // 
            this.toolStripMenu.Items.AddRange(new System.Windows.Forms.ToolStripItem[] {
            this.tsStart,
            this.tsPause,
            this.tsStop,
            this.tsRestart});
            this.toolStripMenu.Location = new System.Drawing.Point(0, 24);
            this.toolStripMenu.Name = "toolStripMenu";
            this.toolStripMenu.Size = new System.Drawing.Size(632, 25);
            this.toolStripMenu.TabIndex = 6;
            this.toolStripMenu.Text = "toolStrip1";
            // 
            // tsStart
            // 
            this.tsStart.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Image;
            this.tsStart.Enabled = false;
            this.tsStart.Image = global::ClabGui.Properties.Resources.play;
            this.tsStart.ImageTransparentColor = System.Drawing.Color.Magenta;
            this.tsStart.Name = "tsStart";
            this.tsStart.Size = new System.Drawing.Size(23, 22);
            this.tsStart.Text = "toolStripButton1";
            this.tsStart.ToolTipText = "Start";
            this.tsStart.Click += new System.EventHandler(this.runMenuStartSearch_Click);
            // 
            // tsPause
            // 
            this.tsPause.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Image;
            this.tsPause.Enabled = false;
            this.tsPause.Image = global::ClabGui.Properties.Resources.pause;
            this.tsPause.ImageTransparentColor = System.Drawing.Color.Magenta;
            this.tsPause.Name = "tsPause";
            this.tsPause.Size = new System.Drawing.Size(23, 22);
            this.tsPause.Text = "toolStripButton2";
            this.tsPause.ToolTipText = "Pause";
            this.tsPause.Click += new System.EventHandler(this.runMenuPauseSearch_Click);
            // 
            // tsStop
            // 
            this.tsStop.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Image;
            this.tsStop.Enabled = false;
            this.tsStop.Image = global::ClabGui.Properties.Resources.stop;
            this.tsStop.ImageTransparentColor = System.Drawing.Color.Magenta;
            this.tsStop.Name = "tsStop";
            this.tsStop.Size = new System.Drawing.Size(23, 22);
            this.tsStop.Text = "toolStripButton3";
            this.tsStop.ToolTipText = "Stop";
            this.tsStop.Click += new System.EventHandler(this.runMenuStopSearch_Click);
            // 
            // tsRestart
            // 
            this.tsRestart.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Image;
            this.tsRestart.Enabled = false;
            this.tsRestart.Image = global::ClabGui.Properties.Resources.restart;
            this.tsRestart.ImageTransparentColor = System.Drawing.Color.Magenta;
            this.tsRestart.Name = "tsRestart";
            this.tsRestart.Size = new System.Drawing.Size(23, 22);
            this.tsRestart.Text = "toolStripButton4";
            this.tsRestart.ToolTipText = "Restart";
            this.tsRestart.Click += new System.EventHandler(this.runMenuRestart_Click);
            // 
            // tabControl
            // 
            this.tabControl.Controls.Add(this.codeTab);
            this.tabControl.Controls.Add(this.parameterTab);
            this.tabControl.Dock = System.Windows.Forms.DockStyle.Fill;
            this.tabControl.Location = new System.Drawing.Point(0, 49);
            this.tabControl.Name = "tabControl";
            this.tabControl.SelectedIndex = 0;
            this.tabControl.Size = new System.Drawing.Size(632, 387);
            this.tabControl.SizeMode = System.Windows.Forms.TabSizeMode.FillToRight;
            this.tabControl.TabIndex = 6;
            this.tabControl.Click += new System.EventHandler(this.tabControl_Click);
            // 
            // codeTab
            // 
            this.codeTab.Controls.Add(this.codeTextBox);
            this.codeTab.Location = new System.Drawing.Point(4, 22);
            this.codeTab.Name = "codeTab";
            this.codeTab.Padding = new System.Windows.Forms.Padding(3);
            this.codeTab.Size = new System.Drawing.Size(624, 361);
            this.codeTab.TabIndex = 0;
            this.codeTab.Text = "Problem Editor";
            this.codeTab.UseVisualStyleBackColor = true;
            // 
            // parameterTab
            // 
            this.parameterTab.AutoScroll = true;
            this.parameterTab.Controls.Add(this.progressPanel);
            this.parameterTab.Location = new System.Drawing.Point(4, 22);
            this.parameterTab.Name = "parameterTab";
            this.parameterTab.Padding = new System.Windows.Forms.Padding(3);
            this.parameterTab.Size = new System.Drawing.Size(624, 361);
            this.parameterTab.TabIndex = 1;
            this.parameterTab.Text = "Set parameters";
            this.parameterTab.UseVisualStyleBackColor = true;
            // 
            // progressPanel
            // 
            this.progressPanel.AutoScroll = true;
            this.progressPanel.AutoSizeMode = System.Windows.Forms.AutoSizeMode.GrowAndShrink;
            this.progressPanel.BorderStyle = System.Windows.Forms.BorderStyle.Fixed3D;
            this.progressPanel.Dock = System.Windows.Forms.DockStyle.Fill;
            this.progressPanel.Location = new System.Drawing.Point(3, 3);
            this.progressPanel.Name = "progressPanel";
            this.progressPanel.Size = new System.Drawing.Size(618, 355);
            this.progressPanel.TabIndex = 1;
            // 
            // statusBoxMouseOver
            // 
            this.statusBoxMouseOver.AutoPopDelay = 500;
            this.statusBoxMouseOver.InitialDelay = 500;
            this.statusBoxMouseOver.ReshowDelay = 100;
            // 
            // codeTextBox
            // 
            this.codeTextBox.AcceptsTab = true;
            this.codeTextBox.ContextMenuStrip = this.codeTextBoxStripMenu;
            this.codeTextBox.Dock = System.Windows.Forms.DockStyle.Fill;
            this.codeTextBox.Font = new System.Drawing.Font("Courier New", 8.25F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0)));
            this.codeTextBox.Location = new System.Drawing.Point(3, 3);
            this.codeTextBox.Name = "codeTextBox";
            this.codeTextBox.ScrollBars = System.Windows.Forms.RichTextBoxScrollBars.Vertical;
            this.codeTextBox.Size = new System.Drawing.Size(618, 355);
            this.codeTextBox.TabIndex = 0;
            this.codeTextBox.Text = "";
            this.codeTextBox.SelectionChanged += new System.EventHandler(this.codeTextBox_SelectionChanged);
            this.codeTextBox.TextChanged += new System.EventHandler(this.codeTextBox_TextChanged);
            // 
            // MainGui
            // 
            this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
            this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
            this.ClientSize = new System.Drawing.Size(632, 453);
            this.Controls.Add(this.tabControl);
            this.Controls.Add(this.toolStripMenu);
            this.Controls.Add(this.statusPanel);
            this.Controls.Add(this.topMenu);
            this.MainMenuStrip = this.topMenu;
            this.MinimumSize = new System.Drawing.Size(400, 300);
            this.Name = "MainGui";
            this.Text = "CLab# Configurator";
            this.topMenu.ResumeLayout(false);
            this.topMenu.PerformLayout();
            this.codeTextBoxStripMenu.ResumeLayout(false);
            this.statusPanel.ResumeLayout(false);
            this.statusPanel.PerformLayout();
            this.toolStripMenu.ResumeLayout(false);
            this.toolStripMenu.PerformLayout();
            this.tabControl.ResumeLayout(false);
            this.codeTab.ResumeLayout(false);
            this.parameterTab.ResumeLayout(false);
            this.ResumeLayout(false);
            this.PerformLayout();

        }

        #endregion

        private System.Windows.Forms.MenuStrip topMenu;
        private System.Windows.Forms.ToolStripMenuItem fileMenu;
        private System.Windows.Forms.ToolStripMenuItem helpMenu;
        private System.Windows.Forms.ToolStripMenuItem fileMenuOpen;
        private System.Windows.Forms.ToolStripMenuItem fileMenuSave;
        private System.Windows.Forms.ToolStripMenuItem fileMenuExit;
        private System.Windows.Forms.ToolStripMenuItem fileMenuCloseProblem;
        private System.Windows.Forms.ToolStripMenuItem helpMenuAbout;
        private System.Windows.Forms.ToolStripMenuItem cutToolStripMenuItem;
        private System.Windows.Forms.ToolStripMenuItem copyToolStripMenuItem;
        private System.Windows.Forms.ToolStripMenuItem pasteToolStripMenuItem;
        private System.Windows.Forms.ToolStripMenuItem editMenu;
        private System.Windows.Forms.ToolStripMenuItem editMenuCut;
        private System.Windows.Forms.ToolStripMenuItem editMenuCopy;
        private System.Windows.Forms.ToolStripMenuItem editMenuPaste;
        private System.Windows.Forms.ContextMenuStrip codeTextBoxStripMenu;
        private System.Windows.Forms.ToolStripMenuItem cTBStripMenuCut;
        private System.Windows.Forms.ToolStripMenuItem cTBStripMenuCopy;
        private System.Windows.Forms.ToolStripMenuItem cTBStripMenuPaste;
        private System.Windows.Forms.Panel statusPanel;
        private System.Windows.Forms.ProgressBar statusBarProgress;
        private System.Windows.Forms.ToolStrip toolStripMenu;
        private System.Windows.Forms.TabControl tabControl;
        private System.Windows.Forms.TabPage codeTab;
        private System.Windows.Forms.TabPage parameterTab;
        private System.Windows.Forms.Panel progressPanel;
        private System.Windows.Forms.ToolTip statusBoxMouseOver;
        private System.Windows.Forms.ToolStripMenuItem runMenu;
        private System.Windows.Forms.ToolStripMenuItem runMenuStartSearch;
        private System.Windows.Forms.ToolStripMenuItem runMenuPauseSearch;
        private System.Windows.Forms.ToolStripMenuItem runMenuStopSearch;
        private FlickerFreeRichEditTextBox codeTextBox;
        private System.Windows.Forms.ToolStripMenuItem fileMenuSaveAs;
        private System.Windows.Forms.TextBox statusBarText;
        private System.Windows.Forms.ToolStripMenuItem runMenuRestart;
        private System.Windows.Forms.ToolStripButton tsStart;
        private System.Windows.Forms.ToolStripButton tsPause;
        private System.Windows.Forms.ToolStripButton tsStop;
        private System.Windows.Forms.ToolStripButton tsRestart;
        private System.Windows.Forms.ToolStripMenuItem settingsMenu;
        private System.Windows.Forms.TextBox positionNumberTF;
        private System.Windows.Forms.ToolStripMenuItem SM_CSPVarOrder_ts;
        private System.Windows.Forms.ToolStripMenuItem SM_BDDSettings;
        private System.Windows.Forms.ToolStripMenuItem BDDS_CM_ts;
        private System.Windows.Forms.ToolStripMenuItem BDDCM_Static;
        private System.Windows.Forms.ToolStripMenuItem BDDCM_Dynamic;
        private System.Windows.Forms.ToolStripMenuItem BDDCM_Ascending;
        private System.Windows.Forms.ToolStripMenuItem BDDS_IDBC_ts;
        private System.Windows.Forms.ToolStripMenuItem BDDS_IBDDN_ts;
        private System.Windows.Forms.ToolStripMenuItem BDDS_MI_ts;
        private System.Windows.Forms.ToolStripTextBox initialDBCache_tb;
        private System.Windows.Forms.ToolStripTextBox initialBDDNodes_tb;
        private System.Windows.Forms.ToolStripTextBox bddMaxIncrease_tb;
        private System.Windows.Forms.ToolStripMenuItem CSPVO_Static;
        private System.Windows.Forms.ToolStripMenuItem CSPVO_MinimumWidth;
        private System.Windows.Forms.ToolStripMenuItem SM_SolveWith;
        private System.Windows.Forms.ToolStripMenuItem SolveWithBDD;
        private System.Windows.Forms.ToolStripMenuItem SolveWithCSP;
        private System.Windows.Forms.ToolStripMenuItem autocompleteToolStripMenuItem;
    }
}