Uses of Package
tuffy.mln

Packages that use tuffy.mln
tuffy.db Provides interfaces to the RDBMS. 
tuffy.ground Provides facilities for grounding MLNs, including KBMC, SQL-based grounding, and MRF partitioning. 
tuffy.ground.partition Data structures and algorithms for MRF partitioning. 
tuffy.helper Misc functionalities to help develop MLN programs. 
tuffy.infer Provides MLN inference algorithms. 
tuffy.main Entrances to Tuffy. 
tuffy.mln This package builds the data structure of MLN. 
tuffy.parse Provides parsers for MLN input, config files, and command line options. 
tuffy.ra Rich logic/relational constructs such as expressions and Datalog. 
tuffy.test This package includes testing codes for tuffy. 
 

Classes in tuffy.mln used by tuffy.db
Predicate
          Predicate in First Order Logic.
 

Classes in tuffy.mln used by tuffy.ground
Clause
          A first-order logic clause, namely a disjunct of literals.
MarkovLogicNetwork
          An MLN.
Predicate
          Predicate in First Order Logic.
Tuple
          A tuple of constants/variables, represented as a transparent list of integers.
 

Classes in tuffy.mln used by tuffy.ground.partition
MarkovLogicNetwork
          An MLN.
 

Classes in tuffy.mln used by tuffy.helper
Clause
          A first-order logic clause, namely a disjunct of literals.
 

Classes in tuffy.mln used by tuffy.infer
MarkovLogicNetwork
          An MLN.
Predicate
          Predicate in First Order Logic.
 

Classes in tuffy.mln used by tuffy.main
MarkovLogicNetwork
          An MLN.
 

Classes in tuffy.mln used by tuffy.mln
Atom
          An atomic formula.
Atom.AtomType
          Enumerated type of Atoms.
Clause
          A first-order logic clause, namely a disjunct of literals.
Clause.ClauseInstance
          Class of an instance of a clause.
Literal
          A literal in first-order logic.
Literal.VarClique
          Clique of variables.
MarkovLogicNetwork
          An MLN.
Predicate
          Predicate in First Order Logic.
Predicate.FunctionalDependency
          TODO: look into the implications of FDs
Term
          A term in first-order logic; either a variable or a constant.
Tuple
          A tuple of constants/variables, represented as a transparent list of integers.
Type
          A domain/type of constants; i.e., a subset of constants.
 

Classes in tuffy.mln used by tuffy.parse
Clause
          A first-order logic clause, namely a disjunct of literals.
Literal
          A literal in first-order logic.
MarkovLogicNetwork
          An MLN.
Predicate
          Predicate in First Order Logic.
Term
          A term in first-order logic; either a variable or a constant.
 

Classes in tuffy.mln used by tuffy.ra
Clause
          A first-order logic clause, namely a disjunct of literals.
Literal
          A literal in first-order logic.
Predicate
          Predicate in First Order Logic.
Type
          A domain/type of constants; i.e., a subset of constants.
 

Classes in tuffy.mln used by tuffy.test
Predicate
          Predicate in First Order Logic.
Type
          A domain/type of constants; i.e., a subset of constants.