net.sf.tweety.logics.pl.semantics

Class PossibleWorldIterator

java.lang.Object

net.sf.tweety.logics.pl.semantics.PossibleWorldIterator

All Implemented Interfaces:

java.util.Iterator<PossibleWorld>, InterpretationIterator<PropositionalFormula,PlBeliefSet,PossibleWorld>

public class PossibleWorldIterator
extends java.lang.Object
implements InterpretationIterator<PropositionalFormula,PlBeliefSet,PossibleWorld>

Iterates effectively over all interpretation sets worlds of a given signature.

Author:

Matthias Thimm

Field Summary

Fields

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 Summary

Constructors

Constructor and Description
PossibleWorldIterator() Creates new iterator for the given signature.
PossibleWorldIterator(PropositionalSignature sig) Creates new iterator for the given signature.

Method Summary

Modifier and Type	Method and Description
boolean	hasNext()
PossibleWorld	next()
void	remove()
InterpretationIterator<PropositionalFormula,PlBeliefSet,PossibleWorld>	reset() Initializes a new reseted iterator.
InterpretationIterator<PropositionalFormula,PlBeliefSet,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<PropositionalFormula,PlBeliefSet,PossibleWorld>	reset(Signature sig) Initializes a new reseted iterator for the given signature.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface java.util.Iterator

forEachRemaining

Field Detail

sig

private PropositionalSignature sig

The signature used for creating possible worlds.

it

private SubsetIterator<Proposition> it

Used for iterating over subsets of propositions.

Constructor Detail

PossibleWorldIterator

public PossibleWorldIterator()

Creates new iterator for the given signature.

Parameters:

sig - some signature

PossibleWorldIterator

public PossibleWorldIterator(PropositionalSignature sig)

Creates new iterator for the given signature.

Parameters:

sig - some signature

Method Detail

hasNext

public boolean hasNext()

Specified by:

hasNext in interface java.util.Iterator<PossibleWorld>

Specified by:

hasNext in interface InterpretationIterator<PropositionalFormula,PlBeliefSet,PossibleWorld>

next

public PossibleWorld next()

Specified by:

next in interface java.util.Iterator<PossibleWorld>

Specified by:

next in interface InterpretationIterator<PropositionalFormula,PlBeliefSet,PossibleWorld>

remove

public void remove()

Specified by:

remove in interface java.util.Iterator<PossibleWorld>

Specified by:

remove in interface InterpretationIterator<PropositionalFormula,PlBeliefSet,PossibleWorld>

reset

public InterpretationIterator<PropositionalFormula,PlBeliefSet,PossibleWorld> reset()

Description copied from interface: InterpretationIterator

Initializes a new reseted iterator.

Specified by:

reset in interface InterpretationIterator<PropositionalFormula,PlBeliefSet,PossibleWorld>

Returns:

a reseted iterator.

reset

public InterpretationIterator<PropositionalFormula,PlBeliefSet,PossibleWorld> reset(Signature sig)

Description copied from interface: InterpretationIterator

Initializes a new reseted iterator for the given signature.

Specified by:

reset in interface InterpretationIterator<PropositionalFormula,PlBeliefSet,PossibleWorld>

Returns:

a reseted iterator for the given signature.

reset

public InterpretationIterator<PropositionalFormula,PlBeliefSet,PossibleWorld> reset(java.util.Collection<? extends Formula> formulas)

Description copied from interface: InterpretationIterator

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

Specified by:

reset in interface InterpretationIterator<PropositionalFormula,PlBeliefSet,PossibleWorld>

Returns:

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