Class RemainderSets<T extends net.sf.tweety.commons.Formula>
- java.lang.Object
-
- java.util.AbstractCollection<E>
-
- java.util.AbstractSet<E>
-
- java.util.HashSet<Collection<T>>
-
- net.sf.tweety.lp.asp.beliefdynamics.baserevision.RemainderSets<T>
-
- Type Parameters:
T- the type of formulas these remainder sets are based upon
- All Implemented Interfaces:
Serializable,Cloneable,Iterable<Collection<T>>,Collection<Collection<T>>,Set<Collection<T>>
- Direct Known Subclasses:
ScreenedRemainderSets
public abstract class RemainderSets<T extends net.sf.tweety.commons.Formula> extends HashSet<Collection<T>>
This class represents the set of remainder sets constructed from a belief base.- Author:
- Sebastian Homann
- See Also:
- Serialized Form
-
-
Constructor Summary
Constructors Constructor Description RemainderSets()
-
Method Summary
Modifier and Type Method Description abstract Collection<T>getSourceBeliefBase()Returns the belief base that seeded this remainder set.-
Methods inherited from class java.util.HashSet
add, clear, clone, contains, isEmpty, iterator, remove, size, spliterator
-
Methods inherited from class java.util.AbstractSet
equals, hashCode, removeAll
-
Methods inherited from class java.util.AbstractCollection
addAll, containsAll, retainAll, toArray, toArray, toString
-
Methods inherited from class java.lang.Object
finalize, getClass, notify, notifyAll, wait, wait, wait
-
Methods inherited from interface java.util.Collection
parallelStream, removeIf, stream, toArray
-
-
-
-
Method Detail
-
getSourceBeliefBase
public abstract Collection<T> getSourceBeliefBase()
Returns the belief base that seeded this remainder set.- Returns:
- a belief base
-
-