Package org.tweetyproject.commons

Class InterpretationSet<T extends Formula,B extends BeliefBase,S extends Formula>

java.lang.Object

org.tweetyproject.commons.AbstractInterpretation<B,S>

org.tweetyproject.commons.InterpretationSet<T,B,S>

Type Parameters:

T - The actual class of the formulas stored in this interpretation

B - The class of belief bases this interpretation can handle

S - The actual class of formulas this interpretation can handle

All Implemented Interfaces:

Iterable<T>, Collection<T>, Interpretation<B,S>

Direct Known Subclasses:

AnswerSet, DlInterpretation, HerbrandInterpretation, MlHerbrandInterpretation, NicePossibleWorld, PossibleWorld, QbPossibleWorld

public abstract class InterpretationSet<T extends Formula,B extends BeliefBase,S extends Formula>
extends AbstractInterpretation<B,S>
implements Collection<T>

This class models an interpretation that is a set of some formula and as such implements the java.util.Collection interface. This class should be used as ancestor for collection-based interpretations.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor	Description
InterpretationSet()	Creates a new empty interpretation.
InterpretationSet(Collection<? extends T> formulas)	Creates a new interpretation with the given collection of formulas.

Method Summary

Modifier and Type	Method	Description
boolean	add(T e)
boolean	add(T... elements)	Adds the specified elements to the end of this collection (optional operation).
boolean	addAll(Collection<? extends T> c)
void	clear()
boolean	contains(Object o)
boolean	containsAll(Collection<?> c)
boolean	equals(Object obj)
int	hashCode()
boolean	isEmpty()
Iterator<T>	iterator()
boolean	remove(Object o)
boolean	removeAll(Collection<?> c)
boolean	retainAll(Collection<?> c)
int	size()
Object[]	toArray()
<R> R[]	toArray(R[] a)
String	toString()

Methods inherited from class org.tweetyproject.commons.AbstractInterpretation

satisfies

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.Collection

parallelStream, removeIf, spliterator, stream, toArray

Methods inherited from interface org.tweetyproject.commons.Interpretation

satisfies, satisfies

Methods inherited from interface java.lang.Iterable

forEach

Constructor Details

InterpretationSet

public InterpretationSet()

Creates a new empty interpretation.

InterpretationSet

public InterpretationSet(Collection<? extends T> formulas)

Creates a new interpretation with the given collection of formulas.

Parameters:

formulas - a collection of formulas

Method Details

add

public boolean add(T e)

Specified by:

add in interface Collection<T extends Formula>

addAll

public boolean addAll(Collection<? extends T> c)

Specified by:

addAll in interface Collection<T extends Formula>

add

public boolean add(T... elements)

Adds the specified elements to the end of this collection (optional operation).

Parameters:

elements - to be appended to collection

Returns:

true if all elements were added, false otherwise

clear

public void clear()

Specified by:

clear in interface Collection<T extends Formula>

contains

public boolean contains(Object o)

Specified by:

contains in interface Collection<T extends Formula>

containsAll

public boolean containsAll(Collection<?> c)

Specified by:

containsAll in interface Collection<T extends Formula>

isEmpty

public boolean isEmpty()

Specified by:

isEmpty in interface Collection<T extends Formula>

iterator

public Iterator<T> iterator()

Specified by:

iterator in interface Collection<T extends Formula>

Specified by:

iterator in interface Iterable<T extends Formula>

remove

public boolean remove(Object o)

Specified by:

remove in interface Collection<T extends Formula>

removeAll

public boolean removeAll(Collection<?> c)

Specified by:

removeAll in interface Collection<T extends Formula>

retainAll

public boolean retainAll(Collection<?> c)

Specified by:

retainAll in interface Collection<T extends Formula>

size

public int size()

Specified by:

size in interface Collection<T extends Formula>

toArray

public Object[] toArray()

Specified by:

toArray in interface Collection<T extends Formula>

toArray

public <R> R[] toArray(R[] a)

Specified by:

toArray in interface Collection<T extends Formula>

hashCode

public int hashCode()

Specified by:

hashCode in interface Collection<T extends Formula>

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Specified by:

equals in interface Collection<T extends Formula>

Overrides:

equals in class Object

toString

public String toString()

Overrides:

toString in class Object