grounding
Class KBMC.AtomCutSet.Stratum

java.lang.Object
  extended by grounding.KBMC.AtomCutSet.Stratum
Enclosing class:
KBMC.AtomCutSet

 class KBMC.AtomCutSet.Stratum
extends java.lang.Object

A stratum is a set of tuples.


Field Summary
(package private)  java.util.HashSet<Tuple> tuples
          Set of tuples in this stratum.
 
Constructor Summary
KBMC.AtomCutSet.Stratum()
           
 
Method Summary
 void add(Tuple t)
          Add tuple to this stratum.
 void clear()
          Empty this stratum.
 boolean isEmpty()
          Return true iff.
 void removeTuplesSubsumedBy(Tuple t)
          Remove tuples in this stratum subsuming input tuple.
 boolean subsumes(Tuple t)
          Test whether there is a tuple in this stratum subsumes tuple $t$.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

tuples

java.util.HashSet<Tuple> tuples
Set of tuples in this stratum.

Constructor Detail

KBMC.AtomCutSet.Stratum

KBMC.AtomCutSet.Stratum()
Method Detail

add

public void add(Tuple t)
Add tuple to this stratum.

Parameters:
t - Added tuple.

subsumes

public boolean subsumes(Tuple t)
Test whether there is a tuple in this stratum subsumes tuple $t$. For the definition of ``subsume'', see Tuple.subsumes(Tuple).

Parameters:
t - tuple to be tested.
Returns:
true iff. there is a tuple subsumes $t$.

removeTuplesSubsumedBy

public void removeTuplesSubsumedBy(Tuple t)
Remove tuples in this stratum subsuming input tuple.

Parameters:
t - input tuple.
See Also:
subsumes(Tuple).

isEmpty

public boolean isEmpty()
Return true iff. this stratum is empty.


clear

public void clear()
Empty this stratum.