public bool sprzecznosc(Regula badanie)
{
if (deskryptory.Count() != badanie.deskryptory.Count())
{
return(false);
}
for (int i = 0; i < deskryptory.Count(); i++)
{
if (badanie.deskryptory[i].numer == this.deskryptory[i].numer && badanie.deskryptory[i].wartosc == this.deskryptory[i].wartosc)
{
continue;
}
else
{
return(false);
}
}
if (badanie.decyzja != this.decyzja)
{
return(false);
}
return(true);
}
public bool sprawdzanie(Regula regula)
{
for (int i = 0; i < systemDecyzyjny.Length; i++)
{
Regula test = new Regula(regula.kombinacja(), systemDecyzyjny[i]);
if (test.sprzecznosc(regula) == false)
{
return(true);
}
}
return(false);
}
private void btnSzukaj_Click(object sender, EventArgs e)
{
// ofdPlik.ShowDialog();
if (ofdPlik.ShowDialog() != System.Windows.Forms.DialogResult.OK)
{
return;
}
tbSciezka.Text = ofdPlik.FileName;
sciezka = ofdPlik.FileName;
systemDecyzyjny = wczytajSystem(sciezka);
kombinacja(6, 2);
List <bool> pokrycie = new List <bool>();
for (int i = 0; i < systemDecyzyjny.Length; i++)
{
pokrycie.Add(false);
}
for (int i = 1; i < pokrycie.Count(); i++)
{
if (pokrycie.Contains(false) == false)
{
break;
}
List <List <int> > combinatons = kombinacja(systemDecyzyjny[0].Length - 1, i);
for (int j = 0; j < combinatons.Count(); j++)
{
for (int k = 0; k < systemDecyzyjny.Length; k++)
{
Regula regula = new Regula(combinatons[j], systemDecyzyjny[k]);
bool Czysprzeczna = sprawdzanie(regula);
if (Czysprzeczna)
{
}
}
}
}
}
