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
 
RDB - Class in tuffy.db
Interface with the RDBMS.
RDB(String, String, String) - Constructor for class tuffy.db.RDB
Specifies a JDBC connection.
recalcCost() - Method in class tuffy.infer.MRF
Recalculate total cost.
recoverFromMismatchedToken(IntStream, int, BitSet) - Method in class tuffy.parse.MLNParser
 
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
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
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
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
 
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
 
reportMostViolatedClauses(MRF, int) - Static method in class tuffy.helper.Stats
 
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().
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.
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
 
runningInWindows() - Static method in class tuffy.util.DebugMan
 
runStat - Static variable in class tuffy.util.Timer
 

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