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:

Iterable<T>, Collection<T>, Interpretation<B,S>
```
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 net.sf.tweety.commons.AbstractInterpretation
satisfies

Methods inherited from class java.lang.Object
clone, finalize, 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(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 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

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>