Uses of Class
mln.AtomTuple

Packages that use AtomTuple
mln   
 

Uses of AtomTuple in mln
 

Fields in mln declared as AtomTuple
 AtomTuple Atom.args
           
 AtomTuple Literal.tuple
           
 

Methods in mln that return AtomTuple
 AtomTuple Literal.canonicalize()
           
 AtomTuple AtomCutSet.top()
           
 

Methods in mln with parameters of type AtomTuple
 void AtomCutSet.addTuple(AtomTuple t)
           
 boolean AtomCutSet.contains(AtomTuple t)
           
 boolean AtomTuple.equals(AtomTuple other)
           
 void AtomCutSet.removeTuple(AtomTuple t)
           
 boolean AtomTuple.subsumes(AtomTuple other)
          test subsumption
 boolean AtomCutSet.subsumes(AtomTuple t)
           
 

Constructors in mln with parameters of type AtomTuple
Atom(Predicate p, AtomTuple at)