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) { } } } } }