Overview
Package
Class
Use
Tree
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
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
Overview
Package
Class
Use
Tree
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
Z
_