tuffy.ground
Class KBMC.AtomCutSet.Stratum

java.lang.Object
  tuffy.ground.KBMC.AtomCutSet.Stratum

Enclosing class:

KBMC.AtomCutSet

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

A stratum is a set of tuples with the same degree-of-freedom.

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 a tuple to this stratum.
void	clear() Empty this stratum.
boolean	isEmpty() Return true if this stratum is empty.
void	removeTuplesSubsumedBy(Tuple t) Remove tuples in this stratum that subsumes the input tuple.
boolean	subsumes(Tuple t) Test whether there is a tuple in this stratum subsumes the input tuple.

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 a tuple to this stratum.

Parameters:

t - Added tuple.

subsumes

public boolean subsumes(Tuple t)

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

Parameters:

t - tuple to be tested.

Returns:

true if there is a tuple subsumes the input tuple.

removeTuplesSubsumedBy

public void removeTuplesSubsumedBy(Tuple t)

Remove tuples in this stratum that subsumes the input tuple.

Parameters:

t - input tuple.

See Also:

subsumes(Tuple).

isEmpty

public boolean isEmpty()

Return true if this stratum is empty.

clear

public void clear()

Empty this stratum.