java.lang.Object
- net.sf.tweety.commons.AbstractInterpretation<B,S>
- - net.sf.tweety.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:

java.lang.Iterable<T>, java.util.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 java.util.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(java.util.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(java.util.Collection<? extends T> c)`
`void`	`clear()`
`boolean`	`contains(java.lang.Object o)`
`boolean`	`containsAll(java.util.Collection<?> c)`
`boolean`	`equals(java.lang.Object obj)`
`int`	`hashCode()`
`boolean`	`isEmpty()`
`java.util.Iterator<T>`	`iterator()`
`boolean`	`remove(java.lang.Object o)`
`boolean`	`removeAll(java.util.Collection<?> c)`
`boolean`	`retainAll(java.util.Collection<?> c)`
`int`	`size()`
`java.lang.Object[]`	`toArray()`
`<R> R[]`	`toArray(R[] a)`
`java.lang.String`	`toString()`

Methods inherited from class net.sf.tweety.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 net.sf.tweety.commons.Interpretation
satisfies, satisfies

Methods inherited from interface java.lang.Iterable
forEach

- Constructor Detail
  - InterpretationSet
```
public InterpretationSet()
```
    Creates a new empty interpretation.
  - InterpretationSet
```
public InterpretationSet(java.util.Collection<? extends T> formulas)
```
    Creates a new interpretation with the given collection of formulas.
    
    Parameters:
    
    formulas - a collection of formulas
- Method Detail
  - add
```
public boolean add(T e)
```
    Specified by:
    
    add in interface java.util.Collection<T extends Formula>
  - addAll
```
public boolean addAll(java.util.Collection<? extends T> c)
```
    Specified by:
    
    addAll in interface java.util.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 java.util.Collection<T extends Formula>
  - contains
```
public boolean contains(java.lang.Object o)
```
    Specified by:
    
    contains in interface java.util.Collection<T extends Formula>
  - containsAll
```
public boolean containsAll(java.util.Collection<?> c)
```
    Specified by:
    
    containsAll in interface java.util.Collection<T extends Formula>
  - isEmpty
```
public boolean isEmpty()
```
    Specified by:
    
    isEmpty in interface java.util.Collection<T extends Formula>
  - iterator
```
public java.util.Iterator<T> iterator()
```
    Specified by:
    
    iterator in interface java.util.Collection<T extends Formula>
    
    Specified by:
    
    iterator in interface java.lang.Iterable<T extends Formula>
  - remove
```
public boolean remove(java.lang.Object o)
```
    Specified by:
    
    remove in interface java.util.Collection<T extends Formula>
  - removeAll
```
public boolean removeAll(java.util.Collection<?> c)
```
    Specified by:
    
    removeAll in interface java.util.Collection<T extends Formula>
  - retainAll
```
public boolean retainAll(java.util.Collection<?> c)
```
    Specified by:
    
    retainAll in interface java.util.Collection<T extends Formula>
  - size
```
public int size()
```
    Specified by:
    
    size in interface java.util.Collection<T extends Formula>
  - toArray
```
public java.lang.Object[] toArray()
```
    Specified by:
    
    toArray in interface java.util.Collection<T extends Formula>
  - toArray
```
public <R> R[] toArray(R[] a)
```
    Specified by:
    
    toArray in interface java.util.Collection<T extends Formula>
  - hashCode
```
public int hashCode()
```
    Specified by:
    
    hashCode in interface java.util.Collection<T extends Formula>
    
    Overrides:
    
    hashCode in class java.lang.Object
  - equals
```
public boolean equals(java.lang.Object obj)
```
    Specified by:
    
    equals in interface java.util.Collection<T extends Formula>
    
    Overrides:
    
    equals in class java.lang.Object
  - toString
```
public java.lang.String toString()
```
    Overrides:
    
    toString in class java.lang.Object

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

Constructor Summary

Method Summary

Methods inherited from class net.sf.tweety.commons.AbstractInterpretation

Methods inherited from class java.lang.Object

Methods inherited from interface java.util.Collection

Methods inherited from interface net.sf.tweety.commons.Interpretation

Methods inherited from interface java.lang.Iterable

Constructor Detail

InterpretationSet

InterpretationSet

Method Detail

add

addAll

add

clear

contains

containsAll

isEmpty

iterator

remove

removeAll

retainAll

size

toArray

toArray

hashCode

equals

toString

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