T
- the type of formulas these remainder sets are based uponpublic abstract class RemainderSets<T extends Formula>
extends java.util.HashSet<java.util.Collection<T>>
Modifier and Type | Field and Description |
---|---|
private static long |
serialVersionUID |
Constructor and Description |
---|
RemainderSets() |
Modifier and Type | Method and Description |
---|---|
abstract java.util.Collection<T> |
getSourceBeliefBase()
Returns the belief base that seeded this remainder set.
|
add, clear, clone, contains, isEmpty, iterator, remove, size, spliterator
addAll, containsAll, retainAll, toArray, toArray, toString
finalize, getClass, notify, notifyAll, wait, wait, wait
private static final long serialVersionUID
public abstract java.util.Collection<T> getSourceBeliefBase()