InterpretationIterator

Type Parameters:

S - The type of formulas

B - The type of belief bases

T - The actual type of interpretations

All Superinterfaces:

java.util.Iterator<T>

All Known Implementing Classes:

PossibleWorldIterator
```
public interface InterpretationIterator<S extends Formula,B extends BeliefBase,T extends Interpretation<B,S>>
extends java.util.Iterator<T>
```
An iterator over interpretations.

Author:

Matthias Thimm

Method Summary

Modifier and Type	Method	Description
`boolean`	`hasNext()`
`T`	`next()`
`void`	`remove()`
`InterpretationIterator<S,B,T>`	`reset()`	Initializes a new reseted iterator.
`InterpretationIterator<S,B,T>`	`reset(java.util.Collection<? extends Formula> formulas)`	Initializes a new reseted iterator for the given signature derived from the given set of formulas.
`InterpretationIterator<S,B,T>`	`reset(Signature sig)`	Initializes a new reseted iterator for the given signature.

Methods inherited from interface java.util.Iterator
forEachRemaining

- Method Detail
  - hasNext
```
boolean hasNext()
```
    Specified by:
    
    hasNext in interface java.util.Iterator<S extends Formula>
  - next
```
T next()
```
    Specified by:
    
    next in interface java.util.Iterator<S extends Formula>
  - remove
```
void remove()
```
    Specified by:
    
    remove in interface java.util.Iterator<S extends Formula>
  - reset
```
InterpretationIterator<S,B,T> reset()
```
    Initializes a new reseted iterator.
    
    Returns:
    
    a reseted iterator.
  - reset
```
InterpretationIterator<S,B,T> reset(Signature sig)
```
    Initializes a new reseted iterator for the given signature.
    
    Parameters:
    
    sig - some signature.
    
    Returns:
    
    a reseted iterator for the given signature.
  - reset
```
InterpretationIterator<S,B,T> reset(java.util.Collection<? extends Formula> formulas)
```
    Initializes a new reseted iterator for the given signature derived from the given set of formulas.
    
    Parameters:
    
    formulas - a set of formulas.
    
    Returns:
    
    a reseted iterator for the given signature derived from the given set of formulas.