Package org.tweetyproject.logics.translators.adfconditional

Class FourValuedWorldIterator

java.lang.Object

org.tweetyproject.logics.translators.adfconditional.FourValuedWorldIterator

All Implemented Interfaces:

Iterator<FourValuedWorld>, InterpretationIterator<PlFormula,PlBeliefSet,FourValuedWorld>

public class FourValuedWorldIterator
extends Object
implements InterpretationIterator<PlFormula,PlBeliefSet,FourValuedWorld>

This class iterates over all 4-valued interpretations of a given signature. Inspired by class "PossibleWorldIterator" for the use of 4-valued Logic

Author:

Jonas Schumacher

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
boolean	hasNext()
FourValuedWorld	next()
void	remove()
InterpretationIterator<PlFormula,PlBeliefSet,FourValuedWorld>	reset()	Initializes a new reseted iterator.
InterpretationIterator<PlFormula,PlBeliefSet,FourValuedWorld>	reset(Collection<? extends Formula> formulas)	Initializes a new reseted iterator for the given signature derived from the given set of formulas.
InterpretationIterator<PlFormula,PlBeliefSet,FourValuedWorld>	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

FourValuedWorldIterator

public FourValuedWorldIterator()

FourValuedWorldIterator

FourValuedWorldIterator

public FourValuedWorldIterator(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,FourValuedWorld>

Specified by:

hasNext in interface Iterator<FourValuedWorld>

next

public FourValuedWorld next()

Specified by:

next in interface InterpretationIterator<PlFormula,PlBeliefSet,FourValuedWorld>

Specified by:

next in interface Iterator<FourValuedWorld>

remove

public void remove()

Specified by:

remove in interface InterpretationIterator<PlFormula,PlBeliefSet,FourValuedWorld>

Specified by:

remove in interface Iterator<FourValuedWorld>

reset

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

Description copied from interface: InterpretationIterator

Initializes a new reseted iterator.

Specified by:

reset in interface InterpretationIterator<PlFormula,PlBeliefSet,FourValuedWorld>

Returns:

a reseted iterator.

reset

public InterpretationIterator<PlFormula,PlBeliefSet,FourValuedWorld> 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,FourValuedWorld>

Parameters:

sig - some signature.

Returns:

a reseted iterator for the given signature.

reset

public InterpretationIterator<PlFormula,PlBeliefSet,FourValuedWorld> 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,FourValuedWorld>

Parameters:

formulas - a set of formulas.

Returns:

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