Package net.sf.tweety.logics.pl.semantics

Class PossibleWorldIterator

java.lang.Object

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

All Implemented Interfaces:

Iterator<PossibleWorld>, net.sf.tweety.commons.InterpretationIterator<PlFormula,PlBeliefSet,PossibleWorld>

public class PossibleWorldIterator
extends Object
implements net.sf.tweety.commons.InterpretationIterator<PlFormula,PlBeliefSet,PossibleWorld>

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

Author:

Matthias Thimm

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
boolean	hasNext()
PossibleWorld	next()
void	remove()
net.sf.tweety.commons.InterpretationIterator<PlFormula,PlBeliefSet,PossibleWorld>	reset()
net.sf.tweety.commons.InterpretationIterator<PlFormula,PlBeliefSet,PossibleWorld>	reset(Collection<? extends net.sf.tweety.commons.Formula> formulas)
net.sf.tweety.commons.InterpretationIterator<PlFormula,PlBeliefSet,PossibleWorld>	reset(net.sf.tweety.commons.Signature sig)

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

Constructor Detail

PossibleWorldIterator

public PossibleWorldIterator()

Creates new iterator.

PossibleWorldIterator

public PossibleWorldIterator(PlSignature sig)

Creates new iterator for the given signature.

Parameters:

sig - some signature

Method Detail

hasNext

public boolean hasNext()

Specified by:

hasNext in interface net.sf.tweety.commons.InterpretationIterator<PlFormula,PlBeliefSet,PossibleWorld>

Specified by:

hasNext in interface Iterator<PossibleWorld>

next

public PossibleWorld next()

Specified by:

next in interface net.sf.tweety.commons.InterpretationIterator<PlFormula,PlBeliefSet,PossibleWorld>

Specified by:

next in interface Iterator<PossibleWorld>

remove

public void remove()

Specified by:

remove in interface net.sf.tweety.commons.InterpretationIterator<PlFormula,PlBeliefSet,PossibleWorld>

Specified by:

remove in interface Iterator<PossibleWorld>

reset

public net.sf.tweety.commons.InterpretationIterator<PlFormula,PlBeliefSet,PossibleWorld> reset()

Specified by:

reset in interface net.sf.tweety.commons.InterpretationIterator<PlFormula,PlBeliefSet,PossibleWorld>

reset

public net.sf.tweety.commons.InterpretationIterator<PlFormula,PlBeliefSet,PossibleWorld> reset(net.sf.tweety.commons.Signature sig)

Specified by:

reset in interface net.sf.tweety.commons.InterpretationIterator<PlFormula,PlBeliefSet,PossibleWorld>

reset

public net.sf.tweety.commons.InterpretationIterator<PlFormula,PlBeliefSet,PossibleWorld> reset(Collection<? extends net.sf.tweety.commons.Formula> formulas)

Specified by:

reset in interface net.sf.tweety.commons.InterpretationIterator<PlFormula,PlBeliefSet,PossibleWorld>