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

R

ram_size - Static variable in class tuffy.util.Config

ramSize - Variable in class tuffy.ground.partition.Component

ramSize - Variable in class tuffy.ground.partition.Partition

rand - Variable in class tuffy.infer.MRF

rand - Variable in class tuffy.util.HashArray

rand - Static variable in class tuffy.util.ProbMan

RDB - Class in tuffy.db

Interface with the RDBMS.

RDB(String, String, String) - Constructor for class tuffy.db.RDB

Specifies a JDBC connection.

readTime(long) - Static method in class tuffy.util.Timer

recalcCost() - Method in class tuffy.infer.InferComponent

Recalculate the cost on this component, which is the sum of the cost on the MRF of each partition.

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

Recalculate total cost.

records - Variable in class tuffy.util.UnionFind

recoverFromMismatchedToken(IntStream, int, BitSet) - Method in class tuffy.parse.MLNParser

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

Register a stored procedure to explain SQL queries.

RegexReplace - Static variable in class tuffy.ra.Function

registerClause(Clause) - Method in class tuffy.mln.MarkovLogicNetwork

Registers a new, unnormalized clause.

registerDatalogRule(ConjunctiveQuery) - Method in class tuffy.mln.MarkovLogicNetwork

Add a datalog rule

registerDrivers() - Method in class tuffy.db.RDB

Register the JDBC driver.

registerIntermediateRule(ConjunctiveQuery) - Method in class tuffy.mln.MarkovLogicNetwork

registerPostprocRule(ConjunctiveQuery) - Method in class tuffy.mln.MarkovLogicNetwork

registerPred(Predicate) - Method in class tuffy.mln.MarkovLogicNetwork

Register a new predicate.

registerScopingRule(ConjunctiveQuery) - Method in class tuffy.mln.MarkovLogicNetwork

Add a scoping rule

reglits - Variable in class tuffy.mln.Clause

List of regular literals in this clause.

regSweep() - Method in class tuffy.infer.PGInfer

Deprecated.

regUtils() - Method in class tuffy.infer.PGInfer

Deprecated.

regWalk() - Method in class tuffy.infer.PGInfer

Deprecated.

relAtomPart - Variable in class tuffy.mln.MarkovLogicNetwork

relAtoms - Variable in class tuffy.mln.MarkovLogicNetwork

relClausePart - Variable in class tuffy.mln.MarkovLogicNetwork

relClauses - Variable in class tuffy.mln.MarkovLogicNetwork

Database tables storing intermediate data.

relConstants - Static variable in class tuffy.util.Config

DB

relevantClauses - Variable in class tuffy.mln.MarkovLogicNetwork

List of clauses marked as relevant.

relIntanceClauses - Variable in class tuffy.mln.Clause

The database table storing the clause instances.

relLog - Variable in class tuffy.infer.PGInfer

Deprecated.

relName - Variable in class tuffy.mln.Predicate

Name of the table of this predicate in DB.

relName - Variable in class tuffy.mln.Type

Name of the relational table corresponding to this type.

relTrueAtoms - Variable in class tuffy.mln.MarkovLogicNetwork

removeDirectory(File) - Static method in class tuffy.util.FileMan

Removes a directory, even if it's NOT empty!

removeFile(String) - Static method in class tuffy.util.FileMan

Removes a file.

removeIdx(int) - Method in class tuffy.util.HashArray

removeObj(T) - Method in class tuffy.util.HashArray

removeTuple(Tuple) - Method in class tuffy.ground.KBMC.AtomCutSet

Remove the input tuple from corresponding stratum.

removeTuplesSubsumedBy(Tuple) - Method in class tuffy.ground.KBMC.AtomCutSet.Stratum

Remove tuples in this stratum that subsumes the input tuple.

renameVariables(Map<String, String>) - Method in class tuffy.ra.Expression

Bind variable references to their values in the symbol table.

reorder_literals - Static variable in class tuffy.util.Config

rep - Variable in class tuffy.ground.partition.Component

rep - Variable in class tuffy.infer.ds.GAtom

String representation of this GAtom.

Repeat - Static variable in class tuffy.ra.Function

repeat(String, int) - Static method in class tuffy.util.StringMan

Replace - Static variable in class tuffy.ra.Function

replaceAtomID(int, int) - Method in class tuffy.infer.ds.GClause

Replaces the ID of a particular atom, assuming that no twins exist.

report() - Method in class tuffy.util.Timer.RunStat

reportCostStats(String) - Method in class tuffy.ground.Grounding

An attempt of computing cost lower bounds with the probabilistic method.

reportMostViolatedClauses(MRF, int) - Static method in class tuffy.helper.Stats

rescue - Variable in class tuffy.infer.ds.GAtom

Two cost of changing the truth value of this GAtom.

resetClock() - Static method in class tuffy.util.Timer

Resets the global starting point of the Timer.

resetDelta() - Method in class tuffy.infer.ds.GAtom

Reset GAtom.rescue and GAtom.violate to zero.

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

Reset the database schema that serves as Tuffy's workspace.

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

Reset the value of a sequence to 1.

restoreAutoCommitState() - Method in class tuffy.db.RDB

Restore the auto-commit state saved by RDB.disableAutoCommitForNow().

restoreLowLowTruth() - Method in class tuffy.infer.InferComponent

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

Assign the recorded low-cost truth values to current truth values.

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

Kill soft clauses.

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

Retain a subset of currently satisfied clauses, according to the sampling method of MC-SAT.

retType_ - Variable in class tuffy.ra.Function

revokeSatPotential(GClause) - Method in class tuffy.infer.ds.GAtom

Flipping this node no longer makes f unsat->sat.

revokeUnsatPotential(GClause) - Method in class tuffy.infer.ds.GAtom

Flipping this node no longer makes f sat->unsat.

rg - Static variable in class tuffy.test.TypeTest

Round - Static variable in class tuffy.ra.Function

ruleList() - Method in class tuffy.parse.MLNParser

run() - Method in class tuffy.ground.KBMC

Run KBMC to identify and materialize relevant groundings of predicates.

run() - Method in class tuffy.infer.InferBucket.CompWorker

run(CommandOptions) - Method in class tuffy.learn.Learner

run the learner

run(CommandOptions) - Method in class tuffy.main.NonPartInfer

run(CommandOptions) - Method in class tuffy.main.PartInfer

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

runInferParallel() - Method in class tuffy.infer.InferBucket

Solve the components in parallel.

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

runStat - Static variable in class tuffy.util.Timer