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

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 and Description
private static long	serialVersionUID

Constructor Summary

Constructors

Constructor and Description
RemainderSets()

Method Summary

Modifier and Type	Method and 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

finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.Set

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

Methods inherited from interface java.util.Collection

parallelStream, removeIf, stream

Methods inherited from interface java.lang.Iterable

forEach

Field Detail

serialVersionUID

private static final long serialVersionUID

See Also:

Constant Field Values

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