private void button1_Click(object sender, EventArgs e)
{
if (textBox1.Text.Length != 0 && textBox2.Text.Length != 0)
{
rtSuyDien.Clear();
thuattoan = new ThuatToan(textBox1.Text, textBox2.Text);
switch (chucnang)
{
case 0: thuattoan.thuchien_min(); break;
case 1: thuattoan.thuchien_max(); break;
case 2: thuattoan.thuchien_stack(); break;
case 3: thuattoan.thuchien_query(); break;
case 4: thuattoan.thuchien_heuristic(); break;
}
if (thuattoan.getstatus == true)
{
List<string> t = thuattoan.getvet();
List<string> giathiet = thuattoan.getGiaThiet;
progressBar1.Minimum = 0;
if(t.Count>0)
progressBar1.Maximum = t.Count - 1;
else progressBar1.Maximum = t.Count ;
progressBar1.Show();
for (int i = 0; i < t.Count; i++)
{
progressBar1.Value = i;
//Thread.Sleep(100);
rtSuyDien.Text += "\n*Bước " +(i+1) + ": Phát hiện được luật :" + t[i] + "\n"
+"\tTập giả thiết: "+giathiet[i]+
"\n\t -->Phương trình phản ứng: \t" + dex.getKetLuan("select YNghia from [CongThuc$] where ID='" + t[i] + "'" + "\n");
if (i < t.Count - 1)
{
rtSuyDien.Text += "\n \t(Chưa tạo ra được " + textBox2.Text + " )";
}
else
rtSuyDien.Text += "\n \t(Đã xuất hiện " + textBox2.Text + " )";
}
progressBar1.Hide();
button1.Enabled = true;
}
else
{
MessageBox.Show("Không tìm ra luật");
button1.Enabled = false;
}
}
}
private void button1_Click(object sender, EventArgs e)
{
if (textBox1.Text.Length != 0 && textBox2.Text.Length != 0)
{
rtSuyDien.Clear();
thuattoan = new ThuatToan(textBox1.Text, textBox2.Text);
switch (chucnang)
{
case 0: thuattoan.thuchien_min(); break;
case 1: thuattoan.thuchien_max(); break;
case 2: thuattoan.thuchien_stack(); break;
case 3: thuattoan.thuchien_query(); break;
case 4: thuattoan.thuchien_heuristic(); break;
}
if (thuattoan.getstatus == true)
{
List <string> t = thuattoan.getvet();
List <string> giathiet = thuattoan.getGiaThiet;
progressBar1.Minimum = 0;
if (t.Count > 0)
{
progressBar1.Maximum = t.Count - 1;
}
else
{
progressBar1.Maximum = t.Count;
}
progressBar1.Show();
for (int i = 0; i < t.Count; i++)
{
progressBar1.Value = i;
//Thread.Sleep(100);
rtSuyDien.Text += "\n*Bước " + (i + 1) + ": Phát hiện được luật :" + t[i] + "\n"
+ "\tTập giả thiết: " + giathiet[i] +
"\n\t -->Phương trình phản ứng: \t" + dex.getKetLuan("select YNghia from [CongThuc$] where ID='" + t[i] + "'" + "\n");
if (i < t.Count - 1)
{
rtSuyDien.Text += "\n \t(Chưa tạo ra được " + textBox2.Text + " )";
}
else
{
rtSuyDien.Text += "\n \t(Đã xuất hiện " + textBox2.Text + " )";
}
}
progressBar1.Hide();
button1.Enabled = true;
}
else
{
MessageBox.Show("Không tìm ra luật");
button1.Enabled = false;
}
}
}
