Package org.tweetyproject.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>

All Known Implementing Classes:

FourValuedWorldIterator, PossibleWorldIterator, PriestWorldIterator

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	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 Details

hasNext

boolean hasNext()

Specified by:

hasNext in interface Iterator<S extends Formula>

next

T next()

Specified by:

next in interface Iterator<S extends Formula>

remove

void remove()

Specified by:

remove in interface 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(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.