Class RemainderSets<T extends Formula>

java.lang.Object
java.util.AbstractCollection<Collection<T>>
java.util.AbstractSet<Collection<T>>
java.util.HashSet<Collection<T>>
org.tweetyproject.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 Formula> extends HashSet<Collection<T>>
This class represents the set of remainder sets constructed from a belief base.
Author:
Sebastian Homann
See Also: