Package org.tweetyproject.arg.adf.util

Class MinusSetView<E>

java.lang.Object

java.util.AbstractCollection<E>

org.tweetyproject.arg.adf.util.AbstractUnmodifiableCollection<E>

org.tweetyproject.arg.adf.util.MinusSetView<E>

Type Parameters:

E - the type of elements in this set

All Implemented Interfaces:

Iterable<E>, Collection<E>, Set<E>

public final class MinusSetView<E>
extends AbstractUnmodifiableCollection<E>
implements Set<E>

A view that represents the result of subtracting one set from another. Specifically, this class models the set difference: superset - subset.

The class assumes that all elements of the subset are contained in the superset. This property must be ensured by the caller; the class does not perform any validation checks for this condition.

This is an unmodifiable view, and all mutating operations will throw an UnsupportedOperationException.

Author:

Mathias Hofer

Constructor Summary

Constructors

Constructor	Description
MinusSetView(Set<E> superset, Set<E> subset)	Constructs a view of the result of superset - subset.

Method Summary

Modifier and Type	Method	Description
boolean	contains(Object o)
boolean	containsAll(Collection<?> c)
boolean	isEmpty()
Iterator<E>	iterator()
static <E> Set<E>	of(Set<E> superset, E subtrahend)	Returns a view of a set that excludes a specific element.
int	size()

Methods inherited from class org.tweetyproject.arg.adf.util.AbstractUnmodifiableCollection

add, addAll, clear, remove, removeAll, removeIf, retainAll

Methods inherited from class java.util.AbstractCollection

toArray, toArray, toString

Methods inherited from class java.lang.Object

equals, getClass, hashCode, 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

add, addAll, clear, equals, hashCode, remove, removeAll, retainAll, spliterator, toArray, toArray

Constructor Details

MinusSetView

public MinusSetView(Set<E> superset,
 Set<E> subset)

Constructs a view of the result of superset - subset.

As the name suggests, it is expected that all elements of subset are contained in superset, otherwise one has to expect unreasonable results.

It is up to the caller to ensure this property, this class performs no additional checks.

Parameters:

superset - the minuend

subset - the subtrahend

Method Details

of

public static <E> Set<E> of(Set<E> superset,
 E subtrahend)

Returns a view of a set that excludes a specific element.

This method creates a new set view that represents the given superset with a specified element excluded. The resulting set is a view, meaning that it does not create a copy of the superset but instead excludes the specified element dynamically.

Type Parameters:

E - The type of elements in the set.

Parameters:

superset - The original set from which an element is to be excluded.

subtrahend - The element to be excluded from the superset.

Returns:

A set view that represents the superset with the subtrahend excluded.

size

public int size()

Specified by:

size in interface Collection<E>

Specified by:

size in interface Set<E>

Specified by:

size in class AbstractCollection<E>

isEmpty

public boolean isEmpty()

Specified by:

isEmpty in interface Collection<E>

Specified by:

isEmpty in interface Set<E>

Overrides:

isEmpty in class AbstractCollection<E>

contains

public boolean contains(Object o)

Specified by:

contains in interface Collection<E>

Specified by:

contains in interface Set<E>

Overrides:

contains in class AbstractCollection<E>

iterator

public Iterator<E> iterator()

Specified by:

iterator in interface Collection<E>

Specified by:

iterator in interface Iterable<E>

Specified by:

iterator in interface Set<E>

Specified by:

iterator in class AbstractCollection<E>

containsAll

public boolean containsAll(Collection<?> c)

Specified by:

containsAll in interface Collection<E>

Specified by:

containsAll in interface Set<E>

Overrides:

containsAll in class AbstractCollection<E>