//
// menuItem7
//
this.menuItem7.Index = 0;
this.menuItem7.RadioCheck = true;
this.menuItem7.Text = "Depth-First";
//
// menuItem8
//
this.menuItem8.Index = 1;
this.menuItem8.Text = "Width_First";
//
// menuItem9
//
this.menuItem9.Index = 2;
this.menuItem9.Text = "Depth_Width";
//
// menuItem10
//
this.menuItem10.Index = 2;
this.menuItem10.Text = "Help";
//
// menuItem12
//
this.menuItem12.Index = 3;
this.menuItem12.Text = "About";
//
// panel1
//
this.panel1.BorderStyle = System.Windows.Forms.BorderStyle.FixedSingle;
this.panel1.Controls.Add(this.button3);
this.panel1.Controls.Add(this.button2);
this.panel1.Controls.Add(this.textBox5);
this.panel1.Controls.Add(this.label5);
this.panel1.Controls.Add(this.textBox4);
this.panel1.Controls.Add(this.textBox3);
this.panel1.Controls.Add(this.label4);
this.panel1.Controls.Add(this.label3);
this.panel1.Controls.Add(this.textBox2);
this.panel1.Controls.Add(this.label2);
this.panel1.Controls.Add(this.textBox1);
this.panel1.Controls.Add(this.label1);
this.panel1.Controls.Add(this.button1);
this.panel1.Location = new System.Drawing.Point(16, 24);
this.panel1.Name = "panel1";
this.panel1.Size = new System.Drawing.Size(456, 104);
this.panel1.TabIndex = 8;
//
// button3
//
this.button3.Location = new System.Drawing.Point(376, 72);
this.button3.Name = "button3";
this.button3.Size = new System.Drawing.Size(48, 23);
this.button3.TabIndex = 12;
this.button3.Text = "Save";
this.button3.Click += new System.EventHandler(this.button3_Click);
//
// button2
//
this.button2.Location = new System.Drawing.Point(312, 72);
this.button2.Name = "button2";
this.button2.Size = new System.Drawing.Size(48, 23);
this.button2.TabIndex = 11;
this.button2.Text = "Clear";
this.button2.Click += new System.EventHandler(this.button2_Click);
//
// textBox5
//
this.textBox5.Location = new System.Drawing.Point(104, 72);
this.textBox5.Name = "textBox5";
this.textBox5.Size = new System.Drawing.Size(64, 21);
this.textBox5.TabIndex = 10;
this.textBox5.Text = "100";
//
// label5
//
this.label5.Location = new System.Drawing.Point(16, 72);
this.label5.Name = "label5";
this.label5.Size = new System.Drawing.Size(56, 23);
this.label5.TabIndex = 9;
this.label5.Text = "Aim Num";
//
// textBox4
//
this.textBox4.Location = new System.Drawing.Point(352, 40);
this.textBox4.Name = "textBox4";
this.textBox4.Size = new System.Drawing.Size(72, 21);
this.textBox4.TabIndex = 8;
this.textBox4.Text = "20000";
//
// textBox3
//
this.textBox3.Location = new System.Drawing.Point(352, 8);
this.textBox3.Name = "textBox3";
this.textBox3.Size = new System.Drawing.Size(72, 21);
this.textBox3.TabIndex = 7;
this.textBox3.Text = "0.9";
//
// label4
//
this.label4.Location = new System.Drawing.Point(248, 40);
this.label4.Name = "label4";
this.label4.Size = new System.Drawing.Size(96, 23);
this.label4.TabIndex = 6;
this.label4.Text = "Diminish_T_num";
//
// label3
//
this.label3.Location = new System.Drawing.Point(248, 8);
this.label3.Name = "label3";
this.label3.Size = new System.Drawing.Size(96, 23);
this.label3.TabIndex = 5;
this.label3.Text = "DiminishedRate";
//
// textBox2
//
this.textBox2.Location = new System.Drawing.Point(104, 40);
this.textBox2.Name = "textBox2";
this.textBox2.Size = new System.Drawing.Size(64, 21);
this.textBox2.TabIndex = 4;
this.textBox2.Text = "130000";
//
// label2
//
this.label2.Location = new System.Drawing.Point(16, 40);
this.label2.Name = "label2";
this.label2.Size = new System.Drawing.Size(88, 23);
this.label2.TabIndex = 3;
this.label2.Text = "Markov Length";
//
// textBox1
//
this.textBox1.Location = new System.Drawing.Point(104, 8);
this.textBox1.Name = "textBox1";
this.textBox1.Size = new System.Drawing.Size(64, 21);
this.textBox1.TabIndex = 1;
this.textBox1.Text = "300";
//
// label1
//
this.label1.Location = new System.Drawing.Point(16, 8);
this.label1.Name = "label1";
this.label1.Size = new System.Drawing.Size(72, 23);
this.label1.TabIndex = 2;
this.label1.Text = "Temperature";
//
// button1
//
this.button1.Location = new System.Drawing.Point(248, 72);
this.button1.Name = "button1";
this.button1.Size = new System.Drawing.Size(48, 23);
this.button1.TabIndex = 0;
this.button1.Text = "Start";
this.button1.Click += new System.EventHandler(this.button1_Click);
//
// panel2
//
this.panel2.BorderStyle = System.Windows.Forms.BorderStyle.FixedSingle;
this.panel2.Controls.Add(this.label7);
this.panel2.Controls.Add(this.label6);
this.panel2.Controls.Add(this.Author);
this.panel2.Location = new System.Drawing.Point(520, 24);
this.panel2.Name = "panel2";
this.panel2.Size = new System.Drawing.Size(128, 104);
this.panel2.TabIndex = 7;
//
// label7
//
this.label7.Location = new System.Drawing.Point(16, 72);
this.label7.Name = "label7";
this.label7.Size = new System.Drawing.Size(104, 23);
this.label7.TabIndex = 2;
this.label7.Text = "Softeware School";
//
// label6
//
this.label6.Location = new System.Drawing.Point(16, 40);
this.label6.Name = "label6";
this.label6.TabIndex = 1;
this.label6.Text = "200440018";
//
// Author
//
this.Author.Location = new System.Drawing.Point(16, 16);
this.Author.Name = "Author";
this.Author.Size = new System.Drawing.Size(100, 24);
this.Author.TabIndex = 0;
this.Author.Text = "林香 ";
//
// richTextBox1
//
this.richTextBox1.Location = new System.Drawing.Point(16, 144);
this.richTextBox1.Name = "richTextBox1";
this.richTextBox1.Size = new System.Drawing.Size(632, 344);
this.richTextBox1.TabIndex = 6;
this.richTextBox1.Text = "";
//
// label8
//
this.label8.Location = new System.Drawing.Point(8, 496);
this.label8.Name = "label8";
this.label8.Size = new System.Drawing.Size(72, 23);
this.label8.TabIndex = 9;
this.label8.Text = "Time Elapse";
//
// label9
//
this.label9.ForeColor = System.Drawing.Color.Blue;
this.label9.Location = new System.Drawing.Point(96, 496);
this.label9.Name = "label9";
this.label9.Size = new System.Drawing.Size(160, 23);
this.label9.TabIndex = 10;
//
// tabControl1
//
this.tabControl1.AllowDrop = true;
this.tabControl1.Controls.Add(this.TSP_SAA);
this.tabControl1.Controls.Add(this.CITY_MAP);
this.tabControl1.Location = new System.Drawing.Point(8, 8);
this.tabControl1.Name = "tabControl1";
this.tabControl1.SelectedIndex = 0;
this.tabControl1.Size = new System.Drawing.Size(672, 544);
this.tabControl1.TabIndex = 11;
//
// TSP_SAA
//
this.TSP_SAA.Controls.Add(this.panel1);
this.TSP_SAA.Controls.Add(this.panel2);
this.TSP_SAA.Controls.Add(this.richTextBox1);
this.TSP_SAA.Controls.Add(this.label8);
this.TSP_SAA.Controls.Add(this.label9);
this.TSP_SAA.Location = new System.Drawing.Point(4, 21);
this.TSP_SAA.Name = "TSP_SAA";
this.TSP_SAA.Size = new System.Drawing.Size(664, 519);
this.TSP_SAA.TabIndex = 0;
this.TSP_SAA.Text = "TSP SAA";
//
// CITY_MAP
//
this.CITY_MAP.Controls.Add(this.label10);
this.CITY_MAP.Controls.Add(this.button4);
this.CITY_MAP.Controls.Add(this.button5);
this.CITY_MAP.Controls.Add(this.panel3);
this.CITY_MAP.Location = new System.Drawing.Point(4, 21);
this.CITY_MAP.Name = "CITY_MAP";
this.CITY_MAP.Size = new System.Drawing.Size(664, 519);
this.CITY_MAP.TabIndex = 1;
this.CITY_MAP.Text = "City Map";
//
// label10