Hierarchy For All Packages

Package Hierarchies:

tuffy.db, tuffy.ground, tuffy.ground.partition, tuffy.helper, tuffy.infer, tuffy.infer.ds, tuffy.learn, tuffy.main, tuffy.mln, tuffy.parse, tuffy.ra, tuffy.test, tuffy.util

Class Hierarchy

• java.lang.Object
  • tuffy.mln.Atom
  • tuffy.ra.AtomEx
  • tuffy.test.AtomTest
  • org.antlr.runtime.BaseRecognizer
    • org.antlr.runtime.Lexer (implements org.antlr.runtime.TokenSource)
      • tuffy.parse.ConfigLexer
      • tuffy.parse.MLNLexer
    • org.antlr.runtime.Parser
      • tuffy.parse.ConfigParser
      • tuffy.parse.MLNParser
  • tuffy.util.BatMan
  • tuffy.util.BoundHashList<T>
  • tuffy.ground.partition.Bucket
  • tuffy.mln.Clause (implements java.lang.Cloneable)
  • tuffy.mln.Clause.ClauseInstance
  • tuffy.test.ClauseTest
  • tuffy.parse.CommandOptions
  • tuffy.ground.partition.Component (implements java.lang.Comparable<T>)
  • tuffy.util.Config
  • tuffy.test.ConfigTest
  • tuffy.ra.ConjunctiveQuery (implements java.lang.Cloneable)
  • tuffy.ra.ConjunctiveQuery.StringSet
  • tuffy.infer.DataMover
  • tuffy.util.DebugMan
  • org.antlr.runtime.DFA
    • tuffy.parse.MLNLexer.DFA21
    • tuffy.parse.MLNLexer.DFA23
    • tuffy.parse.MLNLexer.DFA8
    • tuffy.parse.MLNParser.DFA1
    • tuffy.parse.MLNParser.DFA11
    • tuffy.parse.MLNParser.DFA18
    • tuffy.parse.MLNParser.DFA22
    • tuffy.parse.MLNParser.DFA26
    • tuffy.parse.MLNParser.DFA29
    • tuffy.parse.MLNParser.DFA30
    • tuffy.parse.MLNParser.DFA40
    • tuffy.parse.MLNParser.DFA45
  • tuffy.util.ExceptionMan
  • tuffy.ra.Expression (implements java.lang.Cloneable)
  • tuffy.util.FileMan
  • tuffy.ra.Function
  • tuffy.infer.ds.GAtom
  • tuffy.test.GAtomTest
  • tuffy.infer.ds.GClause
  • tuffy.test.GClauseTest
  • tuffy.ground.Grounding
  • tuffy.util.HashArray<T>
  • tuffy.main.Infer
    • tuffy.test.GroundingTest
    • tuffy.test.InferenceTest
    • tuffy.learn.Learner
      • tuffy.learn.DNLearner
      • tuffy.learn.NaiveDNLearner
      • tuffy.learn.NaiveGDLearner
    • tuffy.main.NonPartInfer
    • tuffy.main.PartInfer
  • tuffy.infer.InferBucket
  • tuffy.infer.InferComponent
  • tuffy.infer.InferPartitioned
  • tuffy.parse.InputParser
  • tuffy.util.IronMan
  • tuffy.ground.KBMC
  • tuffy.ground.KBMC.AtomCutSet
  • tuffy.ground.KBMC.AtomCutSet.Stratum
  • tuffy.infer.ds.KeyBlock
  • tuffy.test.LearnerTest
  • tuffy.mln.Literal (implements java.lang.Cloneable)
  • tuffy.mln.Literal.VarClique
  • tuffy.test.LiteralTest
  • tuffy.learn.Main
  • tuffy.main.Main
  • tuffy.mln.MarkovLogicNetwork (implements java.lang.Cloneable)
  • tuffy.util.MathMan
  • tuffy.infer.MRF
  • tuffy.infer.MRF.myInt
  • tuffy.test.ParsingLoadingTest
  • tuffy.ground.partition.Partition (implements java.lang.Comparable<T>)
  • tuffy.ground.partition.Partitioning
  • tuffy.ground.partition.PartitionScheme
  • tuffy.infer.PGInfer
  • tuffy.util.PlotMan
  • tuffy.util.PlotMan.TCPair
  • tuffy.mln.Predicate
  • tuffy.mln.Predicate.FunctionalDependency
  • tuffy.test.PredicateTest
  • tuffy.util.ProbMan
  • tuffy.db.RDB
  • org.antlr.runtime.RuleReturnScope
    • org.antlr.runtime.ParserRuleReturnScope
      • tuffy.parse.ConfigParser.config_return
      • tuffy.parse.ConfigParser.state_return
      • tuffy.parse.MLNParser.atom_return
      • tuffy.parse.MLNParser.atomicExpression_return
      • tuffy.parse.MLNParser.boolConjunction_return
      • tuffy.parse.MLNParser.boolConjunctionElement_return
      • tuffy.parse.MLNParser.boolExpression_return
      • tuffy.parse.MLNParser.datalogRule_return
      • tuffy.parse.MLNParser.definitions_return
      • tuffy.parse.MLNParser.evidence_return
      • tuffy.parse.MLNParser.evidenceList_return
      • tuffy.parse.MLNParser.existQuan_return
      • tuffy.parse.MLNParser.expression_return
      • tuffy.parse.MLNParser.foclause_return
      • tuffy.parse.MLNParser.funcArgument_return
      • tuffy.parse.MLNParser.funcExpression_return
      • tuffy.parse.MLNParser.functionalAtom_return
      • tuffy.parse.MLNParser.functionalDependency_return
      • tuffy.parse.MLNParser.functionalDependencyItem_return
      • tuffy.parse.MLNParser.hardRule_return
      • tuffy.parse.MLNParser.literal_return
      • tuffy.parse.MLNParser.mathComparison_return
      • tuffy.parse.MLNParser.mathExpression_return
      • tuffy.parse.MLNParser.mathFactor_return
      • tuffy.parse.MLNParser.mathTerm_return
      • tuffy.parse.MLNParser.mlnRule_return
      • tuffy.parse.MLNParser.predArg_return
      • tuffy.parse.MLNParser.query_return
      • tuffy.parse.MLNParser.queryCommaList_return
      • tuffy.parse.MLNParser.queryList_return
      • tuffy.parse.MLNParser.ruleList_return
      • tuffy.parse.MLNParser.schema_return
      • tuffy.parse.MLNParser.schemaConstraint_return
      • tuffy.parse.MLNParser.schemaList_return
      • tuffy.parse.MLNParser.scopingRule_return
      • tuffy.parse.MLNParser.softRule_return
      • tuffy.parse.MLNParser.term_return
  • tuffy.util.Settings
  • tuffy.util.SpiderMan
  • tuffy.db.SQLMan
  • tuffy.helper.Stats
  • tuffy.helper.Stats.ClauseCostComparator (implements java.util.Comparator<T>)
  • tuffy.util.StringMan
  • tuffy.util.SuperMan
  • tuffy.mln.Term
  • tuffy.test.TermTest
  • java.lang.Thread (implements java.lang.Runnable)
    • tuffy.infer.InferBucket.CompWorker
  • java.lang.Throwable (implements java.io.Serializable)
    • java.lang.Error
      • tuffy.util.TuffyThrownError
  • tuffy.util.Timer
  • tuffy.util.Timer.RunStat
  • tuffy.mln.Tuple
  • tuffy.test.TupleTest
  • tuffy.mln.Type
  • tuffy.test.TypeTest
  • tuffy.util.UIMan
  • tuffy.util.UnionFind<E>
  • tuffy.util.UnionFind.Record<E>

Enum Hierarchy

• java.lang.Object
  • java.lang.Enum<E> (implements java.lang.Comparable<T>, java.io.Serializable)
    • tuffy.infer.MRF.INIT_STRATEGY
    • tuffy.ra.ConjunctiveQuery.CLUSTERING_RULE_TYPE
    • tuffy.parse.CommandOptions.MAPInferAlgo
    • tuffy.parse.CommandOptions.InferDataStore
    • tuffy.mln.Atom.AtomType
    • tuffy.util.Config.TUFFY_INFERENCE_TASK
    • tuffy.util.Config.MCSAT_OUTPUT_TUPLE_ORDER