|
|||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
|||||||||
PREV NEXT | FRAMES NO FRAMES |