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
 

A B C D E F G H I J K L M N O P Q R S T U V W Z _