Class RemainderSets<T extends Formula>

java.lang.Object
java.util.AbstractCollection<E>
java.util.AbstractSet<E>
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:
  • Constructor Details

    • RemainderSets

      public RemainderSets()
  • Method Details

    • getSourceBeliefBase

      public abstract Collection<T> getSourceBeliefBase()
      Returns the belief base that seeded this remainder set.
      Returns:
      a belief base