Overview
Package
Class
Use
Tree
Deprecated
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
_
T
t
- Variable in class tuffy.parse.
MLNParser.term_return
T__21
- Static variable in class tuffy.parse.
MLNLexer
T__21
- Static variable in class tuffy.parse.
MLNParser
T__22
- Static variable in class tuffy.parse.
MLNLexer
T__22
- Static variable in class tuffy.parse.
MLNParser
T__23
- Static variable in class tuffy.parse.
MLNLexer
T__23
- Static variable in class tuffy.parse.
MLNParser
T__24
- Static variable in class tuffy.parse.
MLNLexer
T__24
- Static variable in class tuffy.parse.
MLNParser
T__25
- Static variable in class tuffy.parse.
MLNLexer
T__25
- Static variable in class tuffy.parse.
MLNParser
T__26
- Static variable in class tuffy.parse.
MLNLexer
T__26
- Static variable in class tuffy.parse.
MLNParser
T__27
- Static variable in class tuffy.parse.
MLNLexer
T__27
- Static variable in class tuffy.parse.
MLNParser
T__28
- Static variable in class tuffy.parse.
MLNLexer
T__28
- Static variable in class tuffy.parse.
MLNParser
T__29
- Static variable in class tuffy.parse.
MLNLexer
T__29
- Static variable in class tuffy.parse.
MLNParser
T__30
- Static variable in class tuffy.parse.
MLNLexer
T__30
- Static variable in class tuffy.parse.
MLNParser
T__31
- Static variable in class tuffy.parse.
MLNLexer
T__31
- Static variable in class tuffy.parse.
MLNParser
T__32
- Static variable in class tuffy.parse.
MLNLexer
T__32
- Static variable in class tuffy.parse.
MLNParser
T__33
- Static variable in class tuffy.parse.
MLNLexer
T__33
- Static variable in class tuffy.parse.
MLNParser
T__34
- Static variable in class tuffy.parse.
MLNLexer
T__34
- Static variable in class tuffy.parse.
MLNParser
T__35
- Static variable in class tuffy.parse.
MLNLexer
T__35
- Static variable in class tuffy.parse.
MLNParser
T__36
- Static variable in class tuffy.parse.
MLNLexer
T__36
- Static variable in class tuffy.parse.
MLNParser
T__37
- Static variable in class tuffy.parse.
MLNLexer
T__37
- Static variable in class tuffy.parse.
MLNParser
T__38
- Static variable in class tuffy.parse.
MLNLexer
T__38
- Static variable in class tuffy.parse.
MLNParser
T__39
- Static variable in class tuffy.parse.
MLNLexer
T__39
- Static variable in class tuffy.parse.
MLNParser
T__40
- Static variable in class tuffy.parse.
MLNLexer
T__40
- Static variable in class tuffy.parse.
MLNParser
T__41
- Static variable in class tuffy.parse.
MLNLexer
T__41
- Static variable in class tuffy.parse.
MLNParser
T__42
- Static variable in class tuffy.parse.
MLNLexer
T__42
- Static variable in class tuffy.parse.
MLNParser
T__43
- Static variable in class tuffy.parse.
MLNLexer
T__43
- Static variable in class tuffy.parse.
MLNParser
T__44
- Static variable in class tuffy.parse.
MLNLexer
T__44
- Static variable in class tuffy.parse.
MLNParser
T__45
- Static variable in class tuffy.parse.
MLNLexer
T__45
- Static variable in class tuffy.parse.
MLNParser
T__46
- Static variable in class tuffy.parse.
MLNLexer
T__46
- Static variable in class tuffy.parse.
MLNParser
T__47
- Static variable in class tuffy.parse.
MLNLexer
T__47
- Static variable in class tuffy.parse.
MLNParser
T__48
- Static variable in class tuffy.parse.
MLNLexer
T__48
- Static variable in class tuffy.parse.
MLNParser
T__49
- Static variable in class tuffy.parse.
MLNLexer
T__49
- Static variable in class tuffy.parse.
MLNParser
T__50
- Static variable in class tuffy.parse.
MLNLexer
T__50
- Static variable in class tuffy.parse.
MLNParser
T__51
- Static variable in class tuffy.parse.
MLNLexer
T__51
- Static variable in class tuffy.parse.
MLNParser
T__52
- Static variable in class tuffy.parse.
MLNLexer
T__52
- Static variable in class tuffy.parse.
MLNParser
T__53
- Static variable in class tuffy.parse.
MLNLexer
T__53
- Static variable in class tuffy.parse.
MLNParser
T__54
- Static variable in class tuffy.parse.
MLNLexer
T__54
- Static variable in class tuffy.parse.
MLNParser
T__55
- Static variable in class tuffy.parse.
MLNLexer
T__55
- Static variable in class tuffy.parse.
MLNParser
T__56
- Static variable in class tuffy.parse.
MLNLexer
T__56
- Static variable in class tuffy.parse.
MLNParser
T__57
- Static variable in class tuffy.parse.
MLNLexer
T__57
- Static variable in class tuffy.parse.
MLNParser
T__58
- Static variable in class tuffy.parse.
MLNLexer
T__58
- Static variable in class tuffy.parse.
MLNParser
T__59
- Static variable in class tuffy.parse.
MLNLexer
T__59
- Static variable in class tuffy.parse.
MLNParser
T__60
- Static variable in class tuffy.parse.
MLNLexer
T__60
- Static variable in class tuffy.parse.
MLNParser
T__61
- Static variable in class tuffy.parse.
MLNLexer
T__61
- Static variable in class tuffy.parse.
MLNParser
T__7
- Static variable in class tuffy.parse.
ConfigLexer
T__7
- Static variable in class tuffy.parse.
ConfigParser
tallyTrue
- Variable in class tuffy.infer.ds.
GAtom
Tallies used in MCSAT.
Tan
- Static variable in class tuffy.ra.
Function
task
- Variable in class tuffy.infer.
InferBucket.CompWorker
task
- Variable in class tuffy.infer.
InferBucket
Term
- Class in
tuffy.mln
A term in first-order logic; either a variable or a constant.
Term(String)
- Constructor for class tuffy.mln.
Term
Constructor of Term (variable version).
Term(Integer)
- Constructor for class tuffy.mln.
Term
Constructor a Term (constant version).
term()
- Method in class tuffy.parse.
MLNParser
terms
- Variable in class tuffy.mln.
Literal
List of terms (variable/constant) contained in this literal.
TermTest
- Class in
tuffy.test
Testing class for
Term
class.
TermTest()
- Constructor for class tuffy.test.
TermTest
test_AddConstant_and_Contains()
- Method in class tuffy.test.
TypeTest
Test functions of building and querying the constant doamin of Type.
test_GAtom_flip()
- Method in class tuffy.test.
GAtomTest
Test the function of flipping a GAtom.
test_GAtom_invoke_revoke()
- Method in class tuffy.test.
GAtomTest
Test the function of invoke and revoke a GAtom, and its influence on calculating the cost of flipping a GAtom.
test_GAtom_wannabe()
- Method in class tuffy.test.
GAtomTest
Test the function of returning the ideal value of a GAtom.
test_GClause_contain()
- Method in class tuffy.test.
GClauseTest
Test the relationship between GClause and GAtom.
test_GClause_toString()
- Method in class tuffy.test.
GClauseTest
Test function transforming GClause object to String representation.
test_GClause_weight()
- Method in class tuffy.test.
GClauseTest
Test weight-related function of GClause, i.e., the relationships between 1) weight; 2) cost and 3) # satisfied GAtom in GClause.
test_get()
- Method in class tuffy.test.
TupleTest
Test relationships between tuple and term ID.
test_hardClause()
- Method in class tuffy.test.
InferenceTest
Test inference on whether it can deal with hard clause constrains.
test_initStatic()
- Method in class tuffy.test.
InferenceTest
test_isSameAs()
- Method in class tuffy.test.
LiteralTest
Test isSameAs function of Literal.
test_Learning_On_1000rc()
- Method in class tuffy.test.
LearnerTest
Test on RC set.
test_Learning_On_univ()
- Method in class tuffy.test.
LearnerTest
Test on Univ data set.
test_MCSAT_inference()
- Method in class tuffy.test.
InferenceTest
Test marginal inference on a small RC set.
test_mostGeneralUnification_and_substitute_and_toTuple()
- Method in class tuffy.test.
LiteralTest
Test function of getting the MGU (most general unification) of two literals.
test_NaiveGDLearner_Negative()
- Method in class tuffy.test.
LearnerTest
Test on manually generated world.
test_NaiveGDLearner_Positive()
- Method in class tuffy.test.
LearnerTest
Test on manually generated world.
test_name()
- Method in class tuffy.test.
TypeTest
Test name-related functions of Type.
test_scopeLit()
- Method in class tuffy.test.
LiteralTest
test_simpleInference()
- Method in class tuffy.test.
InferenceTest
Test inference on simple manually generated MLN world.
test_size()
- Method in class tuffy.test.
TypeTest
Test size-related functions of Type.
test_storeConstantList()
- Method in class tuffy.test.
TypeTest
Test functions of RDB/Type interaction.
test_subsume()
- Method in class tuffy.test.
TupleTest
Test subsume functions of two tuple.
test_toString()
- Method in class tuffy.test.
TermTest
Test functions of transforming Term object to String representation.
test_toString_and_getVars()
- Method in class tuffy.test.
LiteralTest
Test functions of transforming Literal object to String representation.
test_WalkSAT_inference()
- Method in class tuffy.test.
InferenceTest
Test MAP inference on a small RC set.
testAbsorb()
- Method in class tuffy.test.
ClauseTest
Test the absorb function of clauses.
testAddRelatedClause()
- Method in class tuffy.test.
PredicateTest
Test functions of building clause-predicate relationships.
testArity()
- Method in class tuffy.test.
PredicateTest
Test arity-related functions of Predicate.
testChance(double)
- Method in class tuffy.infer.
MRF
Coin flipping.
testChance(double)
- Static method in class tuffy.util.
ProbMan
testClauseDB()
- Method in class tuffy.test.
ClauseTest
Test the DB-related functions of clauses, e.g., clause instance table for each Clause.
testEvidence()
- Method in class tuffy.test.
PredicateTest
Test functions of marking some atoms as evidence.
testGetArgs()
- Method in class tuffy.test.
PredicateTest
Test argument-related functions.
testGroundAndStoreAtom()
- Method in class tuffy.test.
PredicateTest
Test functions of grounding a predicate and store the resulting atoms to database table.
testGrounding()
- Method in class tuffy.test.
GroundingTest
Test the function of grounding by counting the number of resulting atoms and clauses.
testGroundSize()
- Method in class tuffy.test.
AtomTest
Test function grounding atoms according to Predicate and Constant Table.
testHasQuery()
- Method in class tuffy.test.
PredicateTest
Test functions of determining whether there are query atoms belonging to this predication.
testKeyConstraints()
- Method in class tuffy.infer.
MRF
testLoadEvidences()
- Method in class tuffy.test.
ParsingLoadingTest
Test the parsing function of evidence.
testMisc()
- Method in class tuffy.test.
ClauseTest
Test other functions related to clause.
testNormalize()
- Method in class tuffy.test.
ClauseTest
Test the normalize function of Clause.
testParseConfigFile()
- Method in class tuffy.test.
ConfigTest
Test the function of parsing configuration file.
testProgramQueryParser()
- Method in class tuffy.test.
ParsingLoadingTest
Test the parsing function of program and query.
testSetAllQuery()
- Method in class tuffy.test.
PredicateTest
Test the function setAllQuery().
testSetClosedWorld()
- Method in class tuffy.test.
PredicateTest
Test closed-world-related functions.
testSetID()
- Method in class tuffy.test.
PredicateTest
Test ID-related functions.
testStoreQueries()
- Method in class tuffy.test.
PredicateTest
Test functions of marking some atoms as query.
testToString()
- Method in class tuffy.test.
AtomTest
Test function transforming Atom object to String representation.
throw_exception_when_dying
- Static variable in class tuffy.util.
Config
time
- Variable in class tuffy.util.
PlotMan.TCPair
timeout
- Variable in class tuffy.parse.
CommandOptions
timeout
- Static variable in class tuffy.util.
Config
Timer
- Class in
tuffy.util
Container of time related utilities.
Timer()
- Constructor for class tuffy.util.
Timer
Timer.RunStat
- Class in
tuffy.util
Timer.RunStat()
- Constructor for class tuffy.util.
Timer.RunStat
toAtom(Atom.AtomType)
- Method in class tuffy.mln.
Literal
Convert this literal to an atom.
tokenNames
- Static variable in class tuffy.parse.
ConfigParser
tokenNames
- Static variable in class tuffy.parse.
MLNParser
toLongString(HashMap<Integer, GAtom>)
- Method in class tuffy.infer.ds.
GClause
Returns string form of this GClause.
top()
- Method in class tuffy.ground.
KBMC.AtomCutSet
Returns the first tuple in the first stratum.
toPGString()
- Method in class tuffy.infer.ds.
GClause
Returns the string form of this GClause, which is, {
,
, ...,
} | weight where lit_i is the literal ID in
GClause.lits
.
toSQL()
- Method in class tuffy.ra.
AtomEx
toSQL()
- Method in class tuffy.ra.
Expression
Get the SQL snippet for this expression
toString()
- Method in class tuffy.ground.partition.
Bucket
toString()
- Method in class tuffy.infer.ds.
GClause
Returns its human-friendly representation.
toString()
- Method in class tuffy.mln.
Atom
Returns this atom's human-friendly string representation.
toString()
- Method in class tuffy.mln.
Clause
Return the definition of this clause.
toString(int)
- Method in class tuffy.mln.
Clause
Return the definition of clause instance.
toString()
- Method in class tuffy.mln.
Literal
Return the human-friendly representation of this literal.
toString()
- Method in class tuffy.mln.
Term
toString()
- Method in class tuffy.ra.
ConjunctiveQuery
toString()
- Method in class tuffy.ra.
Expression
toString()
- Method in class tuffy.util.
PlotMan.TCPair
toString()
- Method in class tuffy.util.
Settings
totalAlive
- Variable in class tuffy.infer.
MRF
Number of GClauses that is selected, and therefore must be satisfied by next SampleSAT invocation of MCSAT.
totalCost
- Variable in class tuffy.infer.
MRF
The total cost of this MRF under current atoms' truth setting.
totalCost
- Variable in class tuffy.infer.
PGInfer
Deprecated.
totalCutWeight
- Variable in class tuffy.ground.partition.
Component
totalSize
- Variable in class tuffy.ground.partition.
PartitionScheme
totalWeight
- Variable in class tuffy.ground.partition.
Component
toTuple()
- Method in class tuffy.mln.
Literal
Convert this literal into a tuple.
track_clause_provenance
- Static variable in class tuffy.util.
Config
trainingSatisification
- Variable in class tuffy.learn.
Learner
Map from clause name to current training data satisfaction.
trainingViolation
- Variable in class tuffy.learn.
Learner
Map from clause name to current training data violation.
tree
- Variable in class tuffy.parse.
ConfigParser.config_return
tree
- Variable in class tuffy.parse.
ConfigParser.state_return
tree
- Variable in class tuffy.parse.
MLNParser.atom_return
tree
- Variable in class tuffy.parse.
MLNParser.atomicExpression_return
tree
- Variable in class tuffy.parse.
MLNParser.boolConjunction_return
tree
- Variable in class tuffy.parse.
MLNParser.boolConjunctionElement_return
tree
- Variable in class tuffy.parse.
MLNParser.boolExpression_return
tree
- Variable in class tuffy.parse.
MLNParser.datalogRule_return
tree
- Variable in class tuffy.parse.
MLNParser.definitions_return
tree
- Variable in class tuffy.parse.
MLNParser.evidence_return
tree
- Variable in class tuffy.parse.
MLNParser.evidenceList_return
tree
- Variable in class tuffy.parse.
MLNParser.existQuan_return
tree
- Variable in class tuffy.parse.
MLNParser.expression_return
tree
- Variable in class tuffy.parse.
MLNParser.foclause_return
tree
- Variable in class tuffy.parse.
MLNParser.funcArgument_return
tree
- Variable in class tuffy.parse.
MLNParser.funcExpression_return
tree
- Variable in class tuffy.parse.
MLNParser.functionalAtom_return
tree
- Variable in class tuffy.parse.
MLNParser.functionalDependency_return
tree
- Variable in class tuffy.parse.
MLNParser.functionalDependencyItem_return
tree
- Variable in class tuffy.parse.
MLNParser.hardRule_return
tree
- Variable in class tuffy.parse.
MLNParser.literal_return
tree
- Variable in class tuffy.parse.
MLNParser.mathComparison_return
tree
- Variable in class tuffy.parse.
MLNParser.mathExpression_return
tree
- Variable in class tuffy.parse.
MLNParser.mathFactor_return
tree
- Variable in class tuffy.parse.
MLNParser.mathTerm_return
tree
- Variable in class tuffy.parse.
MLNParser.mlnRule_return
tree
- Variable in class tuffy.parse.
MLNParser.predArg_return
tree
- Variable in class tuffy.parse.
MLNParser.query_return
tree
- Variable in class tuffy.parse.
MLNParser.queryCommaList_return
tree
- Variable in class tuffy.parse.
MLNParser.queryList_return
tree
- Variable in class tuffy.parse.
MLNParser.ruleList_return
tree
- Variable in class tuffy.parse.
MLNParser.schema_return
tree
- Variable in class tuffy.parse.
MLNParser.schemaConstraint_return
tree
- Variable in class tuffy.parse.
MLNParser.schemaList_return
tree
- Variable in class tuffy.parse.
MLNParser.scopingRule_return
tree
- Variable in class tuffy.parse.
MLNParser.softRule_return
tree
- Variable in class tuffy.parse.
MLNParser.term_return
Trim
- Static variable in class tuffy.ra.
Function
Trunc
- Static variable in class tuffy.ra.
Function
truth
- Variable in class tuffy.infer.ds.
GAtom
The truth value of this GAtom.
truth
- Variable in class tuffy.mln.
Atom
Truth value of this atom.
tuffy.db
- package tuffy.db
Provides interfaces to the RDBMS.
tuffy.ground
- package tuffy.ground
Provides facilities for grounding MLNs, including KBMC, SQL-based grounding, and MRF partitioning.
tuffy.ground.partition
- package tuffy.ground.partition
Data structures and algorithms for MRF partitioning.
tuffy.helper
- package tuffy.helper
Misc functionalities to help develop MLN programs.
tuffy.infer
- package tuffy.infer
Provides MLN inference algorithms.
tuffy.infer.ds
- package tuffy.infer.ds
Data structures used to represent MRFs.
tuffy.learn
- package tuffy.learn
Provides weight learning in Tuffy.
tuffy.main
- package tuffy.main
Entrances to Tuffy.
tuffy.mln
- package tuffy.mln
This package builds the data structure of MLN.
tuffy.parse
- package tuffy.parse
Provides parsers for MLN input, config files, and command line options.
tuffy.ra
- package tuffy.ra
Rich logic/relational constructs such as expressions and Datalog.
tuffy.test
- package tuffy.test
This package includes testing codes for tuffy.
tuffy.util
- package tuffy.util
Miscellaneous utilities.
TuffyThrownError
- Error in
tuffy.util
TuffyThrownError()
- Constructor for error tuffy.util.
TuffyThrownError
TuffyThrownError(String)
- Constructor for error tuffy.util.
TuffyThrownError
tuple
- Variable in class tuffy.mln.
Literal
The tuple format of this literal.
Tuple
- Class in
tuffy.mln
A tuple of constants/variables, represented as a transparent list of integers.
Tuple(ArrayList<Integer>)
- Constructor for class tuffy.mln.
Tuple
Constructor of Tuple.
tuples
- Variable in class tuffy.ground.
KBMC.AtomCutSet.Stratum
Set of tuples in this stratum.
TupleTest
- Class in
tuffy.test
Testing class for
Tuple
object.
TupleTest()
- Constructor for class tuffy.test.
TupleTest
turns
- Variable in class tuffy.util.
Timer.RunStat
type
- Variable in class tuffy.mln.
Atom
Type of this atom.
Type
- Class in
tuffy.mln
A domain/type of constants; i.e., a subset of constants.
Type(String)
- Constructor for class tuffy.mln.
Type
Constructor of Type.
type
- Variable in class tuffy.ra.
ConjunctiveQuery
Type used by CC.
type
- Static variable in class tuffy.test.
ClauseTest
type
- Static variable in class tuffy.test.
ParsingLoadingTest
types
- Variable in class tuffy.mln.
Predicate
List of argument types of this predicate.
TypeTest
- Class in
tuffy.test
Testing class of
Type
object.
TypeTest()
- Constructor for class tuffy.test.
TypeTest
Overview
Package
Class
Use
Tree
Deprecated
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
_