Package net.sf.tweety.commons
Interface InterpretationIterator<S extends Formula,B extends BeliefBase,T extends Interpretation<B,S>>
-
- Type Parameters:
S
- The type of formulasB
- The type of belief basesT
- 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.
-
-
-
Method Detail
-
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.
-
-