Uses of Class
maszynaWnioskujaca.Regula

Uses of Regula in maszynaWnioskujaca
 

Methods in maszynaWnioskujaca with parameters of type Regula
 void MaszynaWnioskujaca.dodajRegule(Regula p_regula)
          Dodaje nową regułę do bazy reguł w MaszynieWnioskującej
private  boolean MaszynaWnioskujaca.udowodnijRegule(Regula reg)
          Funkca stara sie udowodnic wszystkie przeslanki z danej reguly.