Uses of Class
tuffy.mln.Term

Packages that use Term
tuffy.mln This package builds the data structure of MLN. 
tuffy.parse Provides parsers for MLN input, config files, and command line options. 
 

Uses of Term in tuffy.mln
 

Fields in tuffy.mln with type parameters of type Term
private  java.util.ArrayList<Term> Literal.terms
          List of terms (variable/constant) contained in this literal.
 

Methods in tuffy.mln that return types with arguments of type Term
 java.util.ArrayList<Term> Literal.getTerms()
          Return the list of terms in this literal.
 java.util.HashMap<java.lang.String,Term> Literal.mostGeneralUnification(Tuple atuple)
          Compute the most general unification (MGU) of two literals.
 

Methods in tuffy.mln with parameters of type Term
 void Literal.appendTerm(Term t)
          Append a new term to this literal.
 

Method parameters in tuffy.mln with type arguments of type Term
 Literal Literal.substitute(java.util.HashMap<java.lang.String,Term> vmap)
          Apply a substitution to this literal.
 

Uses of Term in tuffy.parse
 

Fields in tuffy.parse declared as Term
 Term MLNParser.term_return.t