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
S
setFakty(ArrayList)
- Method in class maszynaWnioskujaca.
MaszynaWnioskujaca
Pozwala wymienić tablicę znanych faktów na nową
setKonkluzja(String)
- Method in class maszynaWnioskujaca.
Regula
setNoweFakty(ArrayList)
- Method in class maszynaWnioskujaca.
MaszynaWnioskujaca
Pozwala wymienić nowo udowodnione fakty na inne
setPrzeslanki(ArrayList)
- Method in class maszynaWnioskujaca.
Regula
setReguly(ArrayList)
- Method in class maszynaWnioskujaca.
MaszynaWnioskujaca
Pozwala wymienić tablicę reguł dostępnych w klasie na nową
setUdowNow(boolean)
- Method in class maszynaWnioskujaca.
Regula
setUdowodniona(boolean)
- Method 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