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

F

Factorial - Static variable in class tuffy.ra.Function
 
fcid - Variable in class tuffy.infer.ds.GClause
List of original clauses used to generate this grounded clause.
fDribble - Variable in class tuffy.parse.CommandOptions
 
fevid - Variable in class tuffy.parse.CommandOptions
 
ffcid - Variable in class tuffy.infer.ds.GClause
Finer-grained clause origin.
file_stats - Static variable in class tuffy.util.Config
 
FileMan - Class in tuffy.util
Container of file related utilities.
FileMan() - Constructor for class tuffy.util.FileMan
 
fillInCurrentWeight(MRF) - Method in class tuffy.learn.Learner
Initialize weight according to the log odd of training data.
filter(ArrayList<PlotMan.TCPair>) - Method in class tuffy.util.PlotMan
 
finalizeClauseDefinitions(RDB) - Method in class tuffy.mln.MarkovLogicNetwork
Finalize the definitions of all clauses, i.e., prepare the database table used by each clause, including 1) instance table for each clause; 2) SQL needed to ground this clause.
finalWeight - Static variable in class tuffy.learn.Learner
Map from clause name to final weight.
find(UnionFind<E>.Record<E>) - Method in class tuffy.util.UnionFind
 
fixAtom(int, boolean) - Method in class tuffy.infer.MRF
Fix the truth value of an atom.
fixed - Variable in class tuffy.infer.ds.GAtom
Whether the truth value of this GAtom is fixed.
flip() - Method in class tuffy.infer.ds.GAtom
Flip the truth value of this GAtom.
flip(KeyBlock) - Method in class tuffy.infer.ds.GAtom
 
flipSense() - Method in class tuffy.mln.Literal
Flip the sense of this literal.
Float - Static variable in class tuffy.mln.Type
 
FLOAT - Static variable in class tuffy.parse.MLNLexer
 
FLOAT - Static variable in class tuffy.parse.MLNParser
 
Floor - Static variable in class tuffy.ra.Function
 
flushAtomStates(Collection<GAtom>, String) - Method in class tuffy.infer.DataMover
Flush atoms states to the atom table.
flushAtomStates(DataMover, String) - Method in class tuffy.infer.InferBucket
 
flushEvidence() - Method in class tuffy.mln.Predicate
Flush the evidence buffer to the predicate table, using the COPY statement in PostgreSQL.
foclause() - Method in class tuffy.parse.MLNParser
 
focus_on_critical_atoms - Static variable in class tuffy.util.Config
 
FOLLOW_21_in_schema933 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_22_in_schema944 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_23_in_atom2956 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_23_in_boolConjunctionElement2256 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_23_in_evidence3114 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_23_in_funcExpression2639 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_23_in_functionalAtom1317 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_23_in_mathFactor2544 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_23_in_schema961 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_24_in_atom2985 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_24_in_datalogRule1441 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_24_in_datalogRule1460 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_24_in_datalogRule1478 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_24_in_evidence3127 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_24_in_existQuan1971 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_24_in_foclause1739 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_24_in_foclause1758 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_24_in_foclause1775 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_24_in_funcExpression2658 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_24_in_functionalAtom1342 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_24_in_functionalDependencyItem1074 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_24_in_queryCommaList3075 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_24_in_schema968 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_24_in_scopingRule1593 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_24_in_scopingRule1612 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_24_in_scopingRule1630 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_25_in_atom3009 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_25_in_boolConjunctionElement2262 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_25_in_evidence3141 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_25_in_funcExpression2683 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_25_in_functionalAtom1369 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_25_in_mathFactor2550 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_25_in_schema976 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_28_in_functionalDependency1040 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_28_in_softRule1230 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_29_in_functionalDependency1049 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_30_in_functionalDependencyItem1082 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_35_in_datalogRule1406 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_36_in_datalogRule1416 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_37_in_datalogRule1480 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_37_in_foclause1777 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_37_in_foclause1893 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_37_in_scopingRule1548 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_37_in_scopingRule1632 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_38_in_datalogRule1506 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_38_in_foclause1801 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_38_in_foclause1915 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_38_in_scopingRule1558 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_38_in_scopingRule1658 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_39_in_scopingRule1550 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_40_in_scopingRule1552 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_41_in_scopingRule1568 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_42_in_foclause1850 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_42_in_foclause1869 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_42_in_foclause1891 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_61_in_mathFactor2568 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_7_in_state212 - Static variable in class tuffy.parse.ConfigParser
 
FOLLOW_ASTERISK_in_schema937 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_ASTERISK_in_schema954 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_atom_in_literal2871 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_atom_in_query3047 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_atomicExpression_in_funcArgument2757 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_atomicExpression_in_mathFactor2526 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_boolConjunction_in_boolExpression2029 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_boolConjunction_in_boolExpression2061 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_boolConjunctionElement_in_boolConjunction2105 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_boolConjunctionElement_in_boolConjunction2137 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_boolExpression_in_boolConjunctionElement2260 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_boolExpression_in_datalogRule1495 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_boolExpression_in_foclause1791 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_boolExpression_in_foclause1906 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_boolExpression_in_funcArgument2710 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_boolExpression_in_scopingRule1647 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_boolExpression_in_synpred75_MLN2710 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_datalogRule_in_ruleList1112 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_EOF_in_config200 - Static variable in class tuffy.parse.ConfigParser
 
FOLLOW_EOF_in_definitions900 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_EOF_in_evidenceList3093 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_EOF_in_queryCommaList3081 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_EOF_in_queryList3031 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_evidence_in_evidenceList3090 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_EXIST_in_existQuan1946 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_existQuan_in_foclause1704 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_expression_in_functionalAtom1326 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_expression_in_functionalAtom1346 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_foclause_in_hardRule1267 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_foclause_in_softRule1208 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_foclause_in_softRule1234 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_funcArgument_in_funcExpression2643 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_funcArgument_in_funcExpression2662 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_funcExpression_in_boolConjunctionElement2222 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_funcExpression_in_funcArgument2742 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_funcExpression_in_mathFactor2506 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_funcExpression_in_synpred50_MLN2222 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_funcExpression_in_synpred77_MLN2742 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_functionalDependency_in_schemaConstraint1020 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_functionalDependencyItem_in_functionalDependency1044 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_functionalDependencyItem_in_functionalDependency1051 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_hardRule_in_mlnRule1178 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_ID_in_atom2954 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_ID_in_atomicExpression2827 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_ID_in_evidence3112 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_ID_in_existQuan1958 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_ID_in_existQuan1975 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_ID_in_funcExpression2625 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_ID_in_functionalAtom1304 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_ID_in_functionalDependencyItem1071 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_ID_in_functionalDependencyItem1078 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_ID_in_functionalDependencyItem1086 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_ID_in_predArg991 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_ID_in_predArg996 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_ID_in_query3057 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_ID_in_schema950 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_ID_in_softRule1228 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_ID_in_term2903 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_IMPLIES_in_foclause1822 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_literal_in_datalogRule1412 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_literal_in_datalogRule1428 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_literal_in_datalogRule1445 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_literal_in_foclause1726 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_literal_in_foclause1743 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_literal_in_foclause1840 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_literal_in_foclause1854 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_literal_in_scopingRule1564 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_literal_in_scopingRule1580 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_literal_in_scopingRule1597 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_mathComparison_in_boolConjunctionElement2209 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_mathComparison_in_datalogRule1464 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_mathComparison_in_foclause1762 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_mathComparison_in_foclause1873 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_mathComparison_in_scopingRule1616 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_mathComparison_in_synpred49_MLN2209 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_mathComparison_in_synpred50_MLN2209 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_mathExpression_in_expression2002 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_mathExpression_in_funcArgument2726 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_mathExpression_in_mathComparison2296 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_mathExpression_in_mathComparison2318 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_mathExpression_in_mathFactor2548 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_mathExpression_in_synpred76_MLN2726 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_mathFactor_in_mathFactor2572 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_mathFactor_in_mathTerm2423 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_mathFactor_in_mathTerm2457 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_mathTerm_in_mathExpression2352 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_mathTerm_in_mathExpression2378 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_mathTerm_in_synpred62_MLN2378 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_mlnRule_in_ruleList1104 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_NOT_in_evidence3107 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_NOT_in_mathFactor2590 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_NOT_in_predArg1002 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_NOT_in_synpred73_MLN2590 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_NUMBER_in_atomicExpression2795 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_NUMBER_in_evidence3104 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_NUMBER_in_scopingRule1556 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_NUMBER_in_softRule1204 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_PERIOD_in_datalogRule1515 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_PERIOD_in_hardRule1269 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_PERIOD_in_scopingRule1667 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_PLUS_in_schema926 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_predArg_in_schema965 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_predArg_in_schema972 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_query_in_queryCommaList3072 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_query_in_queryCommaList3077 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_query_in_queryList3028 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_ruleList_in_definitions898 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_schema_in_schemaList909 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_schemaConstraint_in_schemaList913 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_schemaList_in_definitions896 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_scopingRule_in_ruleList1108 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_set_in_boolConjunction2127 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_set_in_boolConjunctionElement2181 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_set_in_boolConjunctionElement2247 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_set_in_boolExpression2051 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_set_in_datalogRule1395 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_set_in_evidence3118 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_set_in_evidence3131 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_set_in_functionalDependency1032 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_set_in_literal2863 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_set_in_mathComparison2300 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_set_in_mathExpression2368 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_set_in_mathTerm2439 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_set_in_mlnRule1145 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_set_in_synpred50_MLN2181 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_set_in_synpred62_MLN2368 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_set_in_term2919 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_softRule_in_mlnRule1174 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_SPAN_in_state210 - Static variable in class tuffy.parse.ConfigParser
 
FOLLOW_SPAN_in_state216 - Static variable in class tuffy.parse.ConfigParser
 
FOLLOW_state_in_config196 - Static variable in class tuffy.parse.ConfigParser
 
FOLLOW_STRING_in_atomicExpression2811 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_STRING_in_mlnRule1153 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_term_in_atom2971 - Static variable in class tuffy.parse.MLNParser
 
FOLLOW_term_in_atom2994 - Static variable in class tuffy.parse.MLNParser
 
forceFlip() - Method in class tuffy.infer.ds.GAtom
 
fout - Variable in class tuffy.parse.CommandOptions
 
fprog - Variable in class tuffy.parse.CommandOptions
Essential input/output
fquery - Variable in class tuffy.parse.CommandOptions
 
funcArgument() - Method in class tuffy.parse.MLNParser
 
funcExpression() - Method in class tuffy.parse.MLNParser
 
funcHead(String) - Static method in class tuffy.db.SQLMan
 
funcTail() - Static method in class tuffy.db.SQLMan
 
Function - Class in tuffy.ra
Bool, numberic, and string functions; user-defined functions.
Function(String, Type) - Constructor for class tuffy.ra.Function
 
functionalAtom() - Method in class tuffy.parse.MLNParser
 
functionalDependency() - Method in class tuffy.parse.MLNParser
 
functionalDependencyItem() - Method in class tuffy.parse.MLNParser
 

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