mln
Class AtomCutSet
java.lang.Object
mln.AtomCutSet
public class AtomCutSet
- extends java.lang.Object
a set of atoms for a given predicate
- Author:
- Jason
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
AtomCutSet
public AtomCutSet(Predicate p)
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)