Class RemainderSets<T extends Formula>

  • Type Parameters:
    T - the type of formulas these remainder sets are based upon
    All Implemented Interfaces:, 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:

    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.
    Sebastian Homann
    See Also:
    Serialized Form
    • Constructor Summary

      Constructor Description
    • 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

      • 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.
        a belief base