Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
D
F
G
I
J
K
M
N
P
R
S
T
U
W
U
udowNow
- Variable in class maszynaWnioskujaca.
Regula
udowodnijRegule(Regula)
- Method in class maszynaWnioskujaca.
MaszynaWnioskujaca
Funkca stara sie udowodnic wszystkie przeslanki z danej reguly.
udowodniona
- Variable in class maszynaWnioskujaca.
Regula
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
D
F
G
I
J
K
M
N
P
R
S
T
U
W