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

walk(int, int) - Method in class tuffy.infer.PGInfer

Deprecated. Run WalkSAT inside the RDBMS.

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.

weight - Variable in class tuffy.mln.Clause.ClauseInstance

weight of this clause instance.

weight - Variable in class tuffy.mln.Clause

weight of this clause.

weight - Variable in class tuffy.ra.ConjunctiveQuery

weight - Variable in class tuffy.util.UnionFind.Record

weightClausesInCut - Variable in class tuffy.infer.MRF

wholeBuckets - Variable in class tuffy.infer.InferPartitioned

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