Uses of Class
mln.Term

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

Uses of Term in mln
 

Methods in 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 mln with parameters of type Term
 void Literal.appendTerm(Term t)
          Append a new term to this literal.
 

Method parameters in 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 parser
 

Fields in parser declared as Term
 Term MLNParser.term_return.t