mln
Class AtomCutSet

java.lang.Object
  extended by mln.AtomCutSet

public class AtomCutSet
extends java.lang.Object

a set of atoms for a given predicate

Author:
Jason

Constructor Summary
AtomCutSet(Predicate p)
           
 
Method Summary
 void addTuple(AtomTuple t)
           
 boolean collectAll()
           
 boolean contains(AtomTuple t)
           
 void removeTuple(AtomTuple t)
           
 boolean subsumes(AtomTuple t)
           
 AtomTuple top()
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

AtomCutSet

public AtomCutSet(Predicate p)
Method Detail

collectAll

public boolean collectAll()

top

public AtomTuple top()

removeTuple

public void removeTuple(AtomTuple t)

contains

public boolean contains(AtomTuple t)

subsumes

public boolean subsumes(AtomTuple t)

addTuple

public void addTuple(AtomTuple t)