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
 

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