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

M

Main - Class in tuffy.learn
A class for calling Learner.
Main() - Constructor for class tuffy.learn.Main
 
main(String[]) - Static method in class tuffy.learn.Main
 
Main - Class in tuffy.main
The Main.
Main() - Constructor for class tuffy.main.Main
 
main(String[]) - Static method in class tuffy.main.Main
 
main(String[]) - Static method in class tuffy.util.PlotMan
 
maintainKeyConstraints() - Method in class tuffy.infer.MRF
 
makeUnionFind(List<E>, HashMap<E, Double>) - Method in class tuffy.util.UnionFind
 
makeUnionFind(List<E>) - Method in class tuffy.util.UnionFind
 
map - Variable in class tuffy.parse.ConfigParser
 
map - Variable in class tuffy.util.Settings
 
map - Variable in class tuffy.util.UnionFind
 
mapConstantID - Variable in class tuffy.mln.MarkovLogicNetwork
Map from string name to integer constant ID.
mappingFromID2Const - Static variable in class tuffy.mln.Clause
Map from Constant ID to Constant Name.
mappingFromID2Desc - Static variable in class tuffy.mln.Clause
Map from clause ID to its description.
marginal - Variable in class tuffy.parse.CommandOptions
Mode selection
marginal_output_min_prob - Static variable in class tuffy.util.Config
 
mark_all_atoms_active - Static variable in class tuffy.util.Config
 
markCritical() - Method in class tuffy.infer.ds.GAtom
Set wannabe = 3.
markGroundingDone() - Method in class tuffy.util.Timer.RunStat
 
markInferDone() - Method in class tuffy.util.Timer.RunStat
 
MarkovLogicNetwork - Class in tuffy.mln
An MLN.
MarkovLogicNetwork() - Constructor for class tuffy.mln.MarkovLogicNetwork
Constructor of MLN.
markWannaBeFalse() - Method in class tuffy.infer.ds.GAtom
Set wannabe = 1.
markWannaBeTrue() - Method in class tuffy.infer.ds.GAtom
Set wannabe = 2.
mASTERISK() - Method in class tuffy.parse.MLNLexer
 
materialize(RDB, Boolean, ArrayList<String>) - Method in class tuffy.ra.ConjunctiveQuery
Execute this conjunctive query.
materializeAllTypes(RDB) - Method in class tuffy.mln.MarkovLogicNetwork
Call materialize() for all types.
materializeTables() - Method in class tuffy.mln.MarkovLogicNetwork
Stores constants and evidence into database table.
mathComparison() - Method in class tuffy.parse.MLNParser
 
mathExpression() - Method in class tuffy.parse.MLNParser
 
mathFactor() - Method in class tuffy.parse.MLNParser
 
MathMan - Class in tuffy.util
 
MathMan() - Constructor for class tuffy.util.MathMan
 
mathTerm() - Method in class tuffy.parse.MLNParser
 
max_threads - Static variable in class tuffy.util.Config
 
maxCompSize - Variable in class tuffy.ground.partition.PartitionScheme
 
maxFCID - Static variable in class tuffy.infer.ds.GClause
The largest fcid seen when parsing the database for all GClause.
maxFlips - Variable in class tuffy.parse.CommandOptions
Inference/learning parameters
maxNumAtomsInComp - Variable in class tuffy.ground.partition.PartitionScheme
 
maxNumAtomsInPart - Variable in class tuffy.ground.partition.PartitionScheme
 
maxPartSize - Variable in class tuffy.ground.partition.PartitionScheme
 
maxSplitFactor - Variable in class tuffy.ground.partition.PartitionScheme
 
maxThreads - Variable in class tuffy.parse.CommandOptions
 
maxTries - Variable in class tuffy.parse.CommandOptions
 
mCOMMENT() - Method in class tuffy.parse.ConfigLexer
 
mCOMMENT() - Method in class tuffy.parse.MLNLexer
 
mcsat(int, int) - Method in class tuffy.infer.MRF
Execute the MC-SAT algorithm.
mcsat_output_hidden_atoms - Static variable in class tuffy.util.Config
 
mcsat_output_order - Static variable in class tuffy.util.Config
 
mcsat_sample_para - Static variable in class tuffy.util.Config
 
mcsatDumpPeriodSamples - Static variable in class tuffy.util.Config
Helper
mcsatDumpPeriodSec - Variable in class tuffy.parse.CommandOptions
 
mcsatDumpPeriodSeconds - Static variable in class tuffy.util.Config
 
mcsatPara - Variable in class tuffy.parse.CommandOptions
 
mcsatSamples - Variable in class tuffy.parse.CommandOptions
 
MD5 - Static variable in class tuffy.ra.Function
 
mESC() - Method in class tuffy.parse.MLNLexer
 
metaTypes - Variable in class tuffy.mln.Clause
Types of meta variables.
metaVars - Variable in class tuffy.mln.Clause
Variables corresponding to constants in this clause.
mEXIST() - Method in class tuffy.parse.MLNLexer
 
mEXPONENT() - Method in class tuffy.parse.MLNLexer
 
mFLOAT() - Method in class tuffy.parse.MLNLexer
 
mHEXDIGIT() - Method in class tuffy.parse.MLNLexer
 
mID() - Method in class tuffy.parse.MLNLexer
 
mIMPLIES() - Method in class tuffy.parse.MLNLexer
 
minProb - Variable in class tuffy.parse.CommandOptions
 
mINTEGER() - Method in class tuffy.parse.MLNLexer
 
MINUS - Static variable in class tuffy.parse.MLNLexer
 
MINUS - Static variable in class tuffy.parse.MLNParser
 
minuteInMillis - Static variable in class tuffy.util.Timer
 
ml - Variable in class tuffy.parse.MLNParser
 
mln - Variable in class tuffy.ground.Grounding
MLN to be grounded.
mln - Variable in class tuffy.ground.KBMC
MLN used in this KBMC.
mln - Variable in class tuffy.ground.partition.Partitioning
 
mln - Variable in class tuffy.infer.DataMover
 
mln - Variable in class tuffy.infer.InferPartitioned
 
mln - Variable in class tuffy.infer.MRF
The MLN object.
mln - Variable in class tuffy.infer.PGInfer
Deprecated.  
mln - Variable in class tuffy.main.Infer
The MLN.
mln - Variable in class tuffy.mln.Predicate
The parent MLN containing this predicate.
mln - Variable in class tuffy.parse.InputParser
 
MLNLexer - Class in tuffy.parse
 
MLNLexer() - Constructor for class tuffy.parse.MLNLexer
 
MLNLexer(CharStream) - Constructor for class tuffy.parse.MLNLexer
 
MLNLexer(CharStream, RecognizerSharedState) - Constructor for class tuffy.parse.MLNLexer
 
MLNLexer.DFA21 - Class in tuffy.parse
 
MLNLexer.DFA21(BaseRecognizer) - Constructor for class tuffy.parse.MLNLexer.DFA21
 
MLNLexer.DFA23 - Class in tuffy.parse
 
MLNLexer.DFA23(BaseRecognizer) - Constructor for class tuffy.parse.MLNLexer.DFA23
 
MLNLexer.DFA8 - Class in tuffy.parse
 
MLNLexer.DFA8(BaseRecognizer) - Constructor for class tuffy.parse.MLNLexer.DFA8
 
MLNParser - Class in tuffy.parse
 
MLNParser(TokenStream) - Constructor for class tuffy.parse.MLNParser
 
MLNParser(TokenStream, RecognizerSharedState) - Constructor for class tuffy.parse.MLNParser
 
MLNParser.atom_return - Class in tuffy.parse
 
MLNParser.atom_return() - Constructor for class tuffy.parse.MLNParser.atom_return
 
MLNParser.atomicExpression_return - Class in tuffy.parse
 
MLNParser.atomicExpression_return() - Constructor for class tuffy.parse.MLNParser.atomicExpression_return
 
MLNParser.boolConjunction_return - Class in tuffy.parse
 
MLNParser.boolConjunction_return() - Constructor for class tuffy.parse.MLNParser.boolConjunction_return
 
MLNParser.boolConjunctionElement_return - Class in tuffy.parse
 
MLNParser.boolConjunctionElement_return() - Constructor for class tuffy.parse.MLNParser.boolConjunctionElement_return
 
MLNParser.boolExpression_return - Class in tuffy.parse
 
MLNParser.boolExpression_return() - Constructor for class tuffy.parse.MLNParser.boolExpression_return
 
MLNParser.datalogRule_return - Class in tuffy.parse
 
MLNParser.datalogRule_return() - Constructor for class tuffy.parse.MLNParser.datalogRule_return
 
MLNParser.definitions_return - Class in tuffy.parse
 
MLNParser.definitions_return() - Constructor for class tuffy.parse.MLNParser.definitions_return
 
MLNParser.DFA1 - Class in tuffy.parse
 
MLNParser.DFA1(BaseRecognizer) - Constructor for class tuffy.parse.MLNParser.DFA1
 
MLNParser.DFA11 - Class in tuffy.parse
 
MLNParser.DFA11(BaseRecognizer) - Constructor for class tuffy.parse.MLNParser.DFA11
 
MLNParser.DFA18 - Class in tuffy.parse
 
MLNParser.DFA18(BaseRecognizer) - Constructor for class tuffy.parse.MLNParser.DFA18
 
MLNParser.DFA22 - Class in tuffy.parse
 
MLNParser.DFA22(BaseRecognizer) - Constructor for class tuffy.parse.MLNParser.DFA22
 
MLNParser.DFA26 - Class in tuffy.parse
 
MLNParser.DFA26(BaseRecognizer) - Constructor for class tuffy.parse.MLNParser.DFA26
 
MLNParser.DFA29 - Class in tuffy.parse
 
MLNParser.DFA29(BaseRecognizer) - Constructor for class tuffy.parse.MLNParser.DFA29
 
MLNParser.DFA30 - Class in tuffy.parse
 
MLNParser.DFA30(BaseRecognizer) - Constructor for class tuffy.parse.MLNParser.DFA30
 
MLNParser.DFA40 - Class in tuffy.parse
 
MLNParser.DFA40(BaseRecognizer) - Constructor for class tuffy.parse.MLNParser.DFA40
 
MLNParser.DFA45 - Class in tuffy.parse
 
MLNParser.DFA45(BaseRecognizer) - Constructor for class tuffy.parse.MLNParser.DFA45
 
MLNParser.evidence_return - Class in tuffy.parse
 
MLNParser.evidence_return() - Constructor for class tuffy.parse.MLNParser.evidence_return
 
MLNParser.evidenceList_return - Class in tuffy.parse
 
MLNParser.evidenceList_return() - Constructor for class tuffy.parse.MLNParser.evidenceList_return
 
MLNParser.existQuan_return - Class in tuffy.parse
 
MLNParser.existQuan_return() - Constructor for class tuffy.parse.MLNParser.existQuan_return
 
MLNParser.expression_return - Class in tuffy.parse
 
MLNParser.expression_return() - Constructor for class tuffy.parse.MLNParser.expression_return
 
MLNParser.foclause_return - Class in tuffy.parse
 
MLNParser.foclause_return() - Constructor for class tuffy.parse.MLNParser.foclause_return
 
MLNParser.funcArgument_return - Class in tuffy.parse
 
MLNParser.funcArgument_return() - Constructor for class tuffy.parse.MLNParser.funcArgument_return
 
MLNParser.funcExpression_return - Class in tuffy.parse
 
MLNParser.funcExpression_return() - Constructor for class tuffy.parse.MLNParser.funcExpression_return
 
MLNParser.functionalAtom_return - Class in tuffy.parse
 
MLNParser.functionalAtom_return() - Constructor for class tuffy.parse.MLNParser.functionalAtom_return
 
MLNParser.functionalDependency_return - Class in tuffy.parse
 
MLNParser.functionalDependency_return() - Constructor for class tuffy.parse.MLNParser.functionalDependency_return
 
MLNParser.functionalDependencyItem_return - Class in tuffy.parse
 
MLNParser.functionalDependencyItem_return() - Constructor for class tuffy.parse.MLNParser.functionalDependencyItem_return
 
MLNParser.hardRule_return - Class in tuffy.parse
 
MLNParser.hardRule_return() - Constructor for class tuffy.parse.MLNParser.hardRule_return
 
MLNParser.literal_return - Class in tuffy.parse
 
MLNParser.literal_return() - Constructor for class tuffy.parse.MLNParser.literal_return
 
MLNParser.mathComparison_return - Class in tuffy.parse
 
MLNParser.mathComparison_return() - Constructor for class tuffy.parse.MLNParser.mathComparison_return
 
MLNParser.mathExpression_return - Class in tuffy.parse
 
MLNParser.mathExpression_return() - Constructor for class tuffy.parse.MLNParser.mathExpression_return
 
MLNParser.mathFactor_return - Class in tuffy.parse
 
MLNParser.mathFactor_return() - Constructor for class tuffy.parse.MLNParser.mathFactor_return
 
MLNParser.mathTerm_return - Class in tuffy.parse
 
MLNParser.mathTerm_return() - Constructor for class tuffy.parse.MLNParser.mathTerm_return
 
MLNParser.mlnRule_return - Class in tuffy.parse
 
MLNParser.mlnRule_return() - Constructor for class tuffy.parse.MLNParser.mlnRule_return
 
MLNParser.predArg_return - Class in tuffy.parse
 
MLNParser.predArg_return() - Constructor for class tuffy.parse.MLNParser.predArg_return
 
MLNParser.query_return - Class in tuffy.parse
 
MLNParser.query_return() - Constructor for class tuffy.parse.MLNParser.query_return
 
MLNParser.queryCommaList_return - Class in tuffy.parse
 
MLNParser.queryCommaList_return() - Constructor for class tuffy.parse.MLNParser.queryCommaList_return
 
MLNParser.queryList_return - Class in tuffy.parse
 
MLNParser.queryList_return() - Constructor for class tuffy.parse.MLNParser.queryList_return
 
MLNParser.ruleList_return - Class in tuffy.parse
 
MLNParser.ruleList_return() - Constructor for class tuffy.parse.MLNParser.ruleList_return
 
MLNParser.schema_return - Class in tuffy.parse
 
MLNParser.schema_return() - Constructor for class tuffy.parse.MLNParser.schema_return
 
MLNParser.schemaConstraint_return - Class in tuffy.parse
 
MLNParser.schemaConstraint_return() - Constructor for class tuffy.parse.MLNParser.schemaConstraint_return
 
MLNParser.schemaList_return - Class in tuffy.parse
 
MLNParser.schemaList_return() - Constructor for class tuffy.parse.MLNParser.schemaList_return
 
MLNParser.scopingRule_return - Class in tuffy.parse
 
MLNParser.scopingRule_return() - Constructor for class tuffy.parse.MLNParser.scopingRule_return
 
MLNParser.softRule_return - Class in tuffy.parse
 
MLNParser.softRule_return() - Constructor for class tuffy.parse.MLNParser.softRule_return
 
MLNParser.term_return - Class in tuffy.parse
 
MLNParser.term_return() - Constructor for class tuffy.parse.MLNParser.term_return
 
mlnRule() - Method in class tuffy.parse.MLNParser
 
mMINUS() - Method in class tuffy.parse.MLNLexer
 
mNOT() - Method in class tuffy.parse.MLNLexer
 
mNUMBER() - Method in class tuffy.parse.MLNLexer
 
Modulo - Static variable in class tuffy.ra.Function
 
mostGeneralUnification(Tuple) - Method in class tuffy.mln.Literal
Compute the most general unification (MGU) of two literals.
mPERIOD() - Method in class tuffy.parse.MLNLexer
 
mPLUS() - Method in class tuffy.parse.MLNLexer
 
mrf - Variable in class tuffy.ground.partition.Partition
 
MRF - Class in tuffy.infer
In-memory data structure representing an MRF.
MRF(MarkovLogicNetwork) - Constructor for class tuffy.infer.MRF
Default constructor.
MRF(MarkovLogicNetwork, int, HashMap<Integer, GAtom>) - Constructor for class tuffy.infer.MRF
 
MRF.INIT_STRATEGY - Enum in tuffy.infer
 
MRF.INIT_STRATEGY() - Constructor for enum tuffy.infer.MRF.INIT_STRATEGY
 
MRF.myInt - Class in tuffy.infer
 
MRF.myInt(int) - Constructor for class tuffy.infer.MRF.myInt
 
mSPAN() - Method in class tuffy.parse.ConfigLexer
 
mSTRING() - Method in class tuffy.parse.MLNLexer
 
mT__21() - Method in class tuffy.parse.MLNLexer
 
mT__22() - Method in class tuffy.parse.MLNLexer
 
mT__23() - Method in class tuffy.parse.MLNLexer
 
mT__24() - Method in class tuffy.parse.MLNLexer
 
mT__25() - Method in class tuffy.parse.MLNLexer
 
mT__26() - Method in class tuffy.parse.MLNLexer
 
mT__27() - Method in class tuffy.parse.MLNLexer
 
mT__28() - Method in class tuffy.parse.MLNLexer
 
mT__29() - Method in class tuffy.parse.MLNLexer
 
mT__30() - Method in class tuffy.parse.MLNLexer
 
mT__31() - Method in class tuffy.parse.MLNLexer
 
mT__32() - Method in class tuffy.parse.MLNLexer
 
mT__33() - Method in class tuffy.parse.MLNLexer
 
mT__34() - Method in class tuffy.parse.MLNLexer
 
mT__35() - Method in class tuffy.parse.MLNLexer
 
mT__36() - Method in class tuffy.parse.MLNLexer
 
mT__37() - Method in class tuffy.parse.MLNLexer
 
mT__38() - Method in class tuffy.parse.MLNLexer
 
mT__39() - Method in class tuffy.parse.MLNLexer
 
mT__40() - Method in class tuffy.parse.MLNLexer
 
mT__41() - Method in class tuffy.parse.MLNLexer
 
mT__42() - Method in class tuffy.parse.MLNLexer
 
mT__43() - Method in class tuffy.parse.MLNLexer
 
mT__44() - Method in class tuffy.parse.MLNLexer
 
mT__45() - Method in class tuffy.parse.MLNLexer
 
mT__46() - Method in class tuffy.parse.MLNLexer
 
mT__47() - Method in class tuffy.parse.MLNLexer
 
mT__48() - Method in class tuffy.parse.MLNLexer
 
mT__49() - Method in class tuffy.parse.MLNLexer
 
mT__50() - Method in class tuffy.parse.MLNLexer
 
mT__51() - Method in class tuffy.parse.MLNLexer
 
mT__52() - Method in class tuffy.parse.MLNLexer
 
mT__53() - Method in class tuffy.parse.MLNLexer
 
mT__54() - Method in class tuffy.parse.MLNLexer
 
mT__55() - Method in class tuffy.parse.MLNLexer
 
mT__56() - Method in class tuffy.parse.MLNLexer
 
mT__57() - Method in class tuffy.parse.MLNLexer
 
mT__58() - Method in class tuffy.parse.MLNLexer
 
mT__59() - Method in class tuffy.parse.MLNLexer
 
mT__60() - Method in class tuffy.parse.MLNLexer
 
mT__61() - Method in class tuffy.parse.MLNLexer
 
mT__7() - Method in class tuffy.parse.ConfigLexer
 
mTokens() - Method in class tuffy.parse.ConfigLexer
 
mTokens() - Method in class tuffy.parse.MLNLexer
 
Multiply - Static variable in class tuffy.ra.Function
 
mWS() - Method in class tuffy.parse.ConfigLexer
 
mWS() - Method in class tuffy.parse.MLNLexer
 

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