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

U

UIMan - Class in tuffy.util

Container of user-interface utilities.

UIMan() - Constructor for class tuffy.util.UIMan

uNames - Variable in class tuffy.mln.Clause

user provided names

unfixAllAtoms() - Method in class tuffy.infer.MRF

Unfix all atoms.

union(E, E) - Method in class tuffy.util.UnionFind

unionByValue(E, E) - Method in class tuffy.util.UnionFind

UnionFind<E> - Class in tuffy.util

Union-Find Data structure.

UnionFind() - Constructor for class tuffy.util.UnionFind

UnionFind.Record<E> - Class in tuffy.util

UnionFind.Record(E) - Constructor for class tuffy.util.UnionFind.Record

unionWithOrder(E, E) - Method in class tuffy.util.UnionFind

uniqVar - Static variable in class tuffy.util.StringMan

unitPropagation() - Method in class tuffy.infer.MRF

Try to satisfy as many clauses as possible with unit propagation.

unnormal2normal - Variable in class tuffy.mln.MarkovLogicNetwork

unnormalizedClauses - Variable in class tuffy.mln.MarkovLogicNetwork

List of unnormalized clauses.

unsat - Variable in class tuffy.infer.MRF

Array of unsatisfied GClauses under current atoms' truth setting.

update(String) - Method in class tuffy.db.RDB

Execute an update SQL statement.

updateAtomMarginalProbs(int) - Method in class tuffy.infer.MRF

updateAtomTruthTallies() - Method in class tuffy.infer.MRF

For each atom, increment its truth tally by one if it's currently true.

updateBatch(ArrayList<String>) - Method in class tuffy.db.RDB

Execute a set of update SQL statements as a batch.

updateClauseVoiTallies() - Method in class tuffy.infer.MRF

Update the number of violations of a clause.

updateClauseWeights(HashMap<String, Double>) - Method in class tuffy.infer.MRF

Change the weight of GClause based on updated weight of Clause.

updateOriTable(HashSet<String>, Predicate) - Method in class tuffy.infer.DataMover

updateRaw(String) - Method in class tuffy.db.RDB

updateWeight(MRF) - Method in class tuffy.learn.DNLearner

Update Learner.currentWeight using Diagonal Newton method.

updateWeight(MRF) - Method in class tuffy.learn.Learner

Update Learner.currentWeight to new weights according to information provided by mcsat instance, e.g., MCSAT#expectationOfViolation; This is a virtual function, each instance of Learner should materialize an adhoc version of this function.

updateWeight(MRF) - Method in class tuffy.learn.NaiveDNLearner

Deprecated. Updating Learner.currentWeight using Diagonal Newton method.

updateWeight(MRF) - Method in class tuffy.learn.NaiveGDLearner

NEVER USE THIS IN REAL CIRCUMSTANCE...

UpperCase - Static variable in class tuffy.ra.Function

use_atom_blocking - Static variable in class tuffy.util.Config

Inference

usedMemory() - Static method in class tuffy.util.DebugMan

usedMemoryp() - Static method in class tuffy.util.DebugMan

usingBlocks - Variable in class tuffy.infer.MRF