net.sf.tweety.commons

Interface InterpretationIterator<S extends Formula,B extends BeliefBase,T extends Interpretation<B,S>>

Type Parameters:

S - The type of formulas

B - The type of belief bases

T - The actual type of interpretations

All Superinterfaces:

Iterator<T>

public interface InterpretationIterator<S extends Formula,B extends BeliefBase,T extends Interpretation<B,S>>
extends Iterator<T>

An iterator over interpretations.

Author:

Matthias Thimm

Method Summary

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

next

T next()

Specified by:

next in interface Iterator<T extends Interpretation<B,S>>

remove

void remove()

Specified by:

remove in interface Iterator<T extends Interpretation<B,S>>

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:

some - signature.

Returns:

a reseted iterator for the given signature.

reset

InterpretationIterator<S,B,T> reset(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.