net.sf.tweety.commons

Interface InterpretationIterator<T extends Interpretation>

Type Parameters:

T - The actual type of interpretations

All Superinterfaces:

java.util.Iterator<T>

All Known Implementing Classes:

PossibleWorldIterator

public interface InterpretationIterator<T extends Interpretation>
extends java.util.Iterator<T>

An iterator over interpretations.

Author:

Matthias Thimm

Method Summary

Modifier and Type	Method and Description
boolean	hasNext()
T	next()
void	remove()
InterpretationIterator<T>	reset() Initializes a new reseted iterator.
InterpretationIterator<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<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<T extends Interpretation>

next

T next()

Specified by:

next in interface java.util.Iterator<T extends Interpretation>

remove

void remove()

Specified by:

remove in interface java.util.Iterator<T extends Interpretation>

reset

InterpretationIterator<T> reset()

Initializes a new reseted iterator.

Returns:

a reseted iterator.

reset

InterpretationIterator<T> reset(Signature sig)

Initializes a new reseted iterator for the given signature.

Parameters:

some - signature.

Returns:

a reseted iterator for the given signature.

reset

InterpretationIterator<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:

a - set of formulas.

Returns:

a reseted iterator for the given signature derived from the given set of formulas.