Overview
Package
Class
Use
Tree
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
Z
_
W
walksat_random_step_probability
- Static variable in class tuffy.util.
Config
wannabe
- Variable in class tuffy.infer.ds.
GAtom
The ideal truth value of this GAtom.
wannaBeFalse()
- Method in class tuffy.infer.ds.
GAtom
Whether wannabe == 1; (false)
wannaBeTrue()
- Method in class tuffy.infer.ds.
GAtom
Whether wannabe == 2; (true)
warn(String...)
- Static method in class tuffy.util.
UIMan
weight
- Variable in class tuffy.infer.ds.
GClause
Weight of this GClause.
writeToDribbleFile(String)
- Static method in class tuffy.util.
UIMan
writeToFile(String, String)
- Static method in class tuffy.util.
FileMan
Writes a string to a file, using UTF-8 encoding.
WS
- Static variable in class tuffy.parse.
ConfigLexer
WS
- Static variable in class tuffy.parse.
ConfigParser
WS
- Static variable in class tuffy.parse.
MLNLexer
WS
- Static variable in class tuffy.parse.
MLNParser
Overview
Package
Class
Use
Tree
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
Z
_