private void addgiathiet(int i)
{
string[] strtemp = converStringToArray(dex.getKetLuan("select KetLuan from [Luat$] where ID='" + tapluat[i] + "'"), '^');
int x = giathiet.Length;
Array.Resize <string>(ref giathiet, (strtemp.Length + giathiet.Length));
strtemp.CopyTo(giathiet, x);
tapgiathiet.Add(converArrayToString(giathiet));
}
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;
}
}
}
