Uses of Class

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