Class RemainderSets<T extends Formula>
- java.lang.Object
 - 
- java.util.AbstractCollection<E>
 - 
- java.util.AbstractSet<E>
 - 
- java.util.HashSet<java.util.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:
 java.io.Serializable,java.lang.Cloneable,java.lang.Iterable<java.util.Collection<T>>,java.util.Collection<java.util.Collection<T>>,java.util.Set<java.util.Collection<T>>
- Direct Known Subclasses:
 ScreenedRemainderSets
public abstract class RemainderSets<T extends Formula> extends java.util.HashSet<java.util.Collection<T>>This class represents the set of remainder sets constructed from a belief base.- Author:
 - Sebastian Homann
 - See Also:
 - Serialized Form
 
 
- 
- 
Field Summary
Fields Modifier and Type Field Description private static longserialVersionUID 
- 
Constructor Summary
Constructors Constructor Description RemainderSets() 
- 
Method Summary
Modifier and Type Method Description abstract java.util.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.AbstractCollection
addAll, containsAll, retainAll, toArray, toArray, toString 
 - 
 
 - 
 
- 
- 
Field Detail
- 
serialVersionUID
private static final long serialVersionUID
- See Also:
 - Constant Field Values
 
 
 - 
 
- 
Method Detail
- 
getSourceBeliefBase
public abstract java.util.Collection<T> getSourceBeliefBase()
Returns the belief base that seeded this remainder set.- Returns:
 - a belief base
 
 
 - 
 
 -