public class PossibleWorldIterator extends java.lang.Object implements InterpretationIterator<PossibleWorld>
Modifier and Type | Field and Description |
---|---|
private SubsetIterator<Proposition> |
it
Used for iterating over subsets of propositions.
|
private PropositionalSignature |
sig
The signature used for creating possible worlds.
|
Constructor and Description |
---|
PossibleWorldIterator()
Creates new iterator for the given signature.
|
PossibleWorldIterator(PropositionalSignature sig)
Creates new iterator for the given signature.
|
Modifier and Type | Method and Description |
---|---|
boolean |
hasNext() |
PossibleWorld |
next() |
void |
remove() |
InterpretationIterator<PossibleWorld> |
reset()
Initializes a new reseted iterator.
|
InterpretationIterator<PossibleWorld> |
reset(java.util.Collection<? extends Formula> formulas)
Initializes a new reseted iterator for the given signature derived from
the given set of formulas.
|
InterpretationIterator<PossibleWorld> |
reset(Signature sig)
Initializes a new reseted iterator for the given signature.
|
private PropositionalSignature sig
private SubsetIterator<Proposition> it
public PossibleWorldIterator()
sig
- some signaturepublic PossibleWorldIterator(PropositionalSignature sig)
sig
- some signaturepublic boolean hasNext()
hasNext
in interface java.util.Iterator<PossibleWorld>
hasNext
in interface InterpretationIterator<PossibleWorld>
public PossibleWorld next()
next
in interface java.util.Iterator<PossibleWorld>
next
in interface InterpretationIterator<PossibleWorld>
public void remove()
remove
in interface java.util.Iterator<PossibleWorld>
remove
in interface InterpretationIterator<PossibleWorld>
public InterpretationIterator<PossibleWorld> reset()
InterpretationIterator
reset
in interface InterpretationIterator<PossibleWorld>
public InterpretationIterator<PossibleWorld> reset(Signature sig)
InterpretationIterator
reset
in interface InterpretationIterator<PossibleWorld>
public InterpretationIterator<PossibleWorld> reset(java.util.Collection<? extends Formula> formulas)
InterpretationIterator
reset
in interface InterpretationIterator<PossibleWorld>