Package org.tweetyproject.logics.translators.adfcl

Class PriestWorldIterator

java.lang.Object

org.tweetyproject.logics.translators.adfcl.PriestWorldIterator

All Implemented Interfaces:

Iterator<PriestWorldAdapted>, InterpretationIterator<PlFormula,PlBeliefSet,PriestWorldAdapted>

public class PriestWorldIterator
extends Object
implements InterpretationIterator<PlFormula,PlBeliefSet,PriestWorldAdapted>

This class iterates effectively over all interpretation sets worlds of a given signature. Adapted from class "PossibleWorldIterator" for the use of Three Valued Logic

Author:

Jonas Schumacher

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
boolean	hasNext()
PriestWorldAdapted	next()
void	remove()
InterpretationIterator<PlFormula,PlBeliefSet,PriestWorldAdapted>	reset()	Initializes a new reseted iterator.
InterpretationIterator<PlFormula,PlBeliefSet,PriestWorldAdapted>	reset(Collection<? extends Formula> formulas)	Initializes a new reseted iterator for the given signature derived from the given set of formulas.
InterpretationIterator<PlFormula,PlBeliefSet,PriestWorldAdapted>	reset(Signature sig)	Initializes a new reseted iterator for the given signature.

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.util.Iterator

forEachRemaining

Constructor Details

PriestWorldIterator

public PriestWorldIterator()

Creates new iterator.

PriestWorldIterator

public PriestWorldIterator(PlSignature sig)

Creates new iterator for the given signature.

Parameters:

sig - some signature

Method Details

hasNext

public boolean hasNext()

Specified by:

hasNext in interface InterpretationIterator<PlFormula,PlBeliefSet,PriestWorldAdapted>

Specified by:

hasNext in interface Iterator<PriestWorldAdapted>

next

public PriestWorldAdapted next()

Specified by:

next in interface InterpretationIterator<PlFormula,PlBeliefSet,PriestWorldAdapted>

Specified by:

next in interface Iterator<PriestWorldAdapted>

remove

public void remove()

Specified by:

remove in interface InterpretationIterator<PlFormula,PlBeliefSet,PriestWorldAdapted>

Specified by:

remove in interface Iterator<PriestWorldAdapted>

reset

public InterpretationIterator<PlFormula,PlBeliefSet,PriestWorldAdapted> reset()

Description copied from interface: InterpretationIterator

Initializes a new reseted iterator.

Specified by:

reset in interface InterpretationIterator<PlFormula,PlBeliefSet,PriestWorldAdapted>

Returns:

a reseted iterator.

reset

public InterpretationIterator<PlFormula,PlBeliefSet,PriestWorldAdapted> reset(Signature sig)

Description copied from interface: InterpretationIterator

Initializes a new reseted iterator for the given signature.

Specified by:

reset in interface InterpretationIterator<PlFormula,PlBeliefSet,PriestWorldAdapted>

Parameters:

sig - some signature.

Returns:

a reseted iterator for the given signature.

reset

public InterpretationIterator<PlFormula,PlBeliefSet,PriestWorldAdapted> reset(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<PlFormula,PlBeliefSet,PriestWorldAdapted>

Parameters:

formulas - a set of formulas.

Returns:

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