Package net.sf.tweety.lp.asp.beliefdynamics.baserevision

Class RemainderSets<T extends Formula>

  • 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

    • 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.AbstractSet

        equals, hashCode, removeAll

      • Methods inherited from class java.util.AbstractCollection

        addAll, containsAll, retainAll, toArray, toArray, toString

      • Methods inherited from class java.lang.Object

        getClass, notify, notifyAll, wait, wait, wait

      • Methods inherited from interface java.util.Collection

        parallelStream, removeIf, stream, toArray

      • Methods inherited from interface java.lang.Iterable

        forEach

      • Methods inherited from interface java.util.Set

        addAll, containsAll, equals, hashCode, removeAll, retainAll, toArray, toArray

    • Constructor Detail

      • RemainderSets

        public RemainderSets()

    • Method Detail

      • getSourceBeliefBase

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