Uses of Class
tuffy.mln.Tuple

Packages that use Tuple
tuffy.mln This package builds the data structure of MLN. 
 

Uses of Tuple in tuffy.mln
 

Fields in tuffy.mln declared as Tuple
 Tuple Atom.args
          The argument list represented as a tuple of integers: constant as positive number and variable as negative number.
 

Methods in tuffy.mln that return Tuple
 Tuple Literal.toTuple()
          Convert this literal into a tuple.
 

Methods in tuffy.mln with parameters of type Tuple
 java.util.HashMap<java.lang.String,Term> Literal.mostGeneralUnification(Tuple atuple)
          Compute the most general unification (MGU) of two literals.
 boolean Tuple.subsumes(Tuple other)
          Test if the tuple subsumes the argument tuple.
 

Constructors in tuffy.mln with parameters of type Tuple
Atom(Predicate p, Tuple at)
          Create an atom of type NONE.