Package net.sf.tweety.logics.pl.util

Class EnumeratingIterator

java.lang.Object

net.sf.tweety.logics.pl.util.EnumeratingIterator

All Implemented Interfaces:

Iterator<PlBeliefSet>, net.sf.tweety.commons.BeliefSetIterator<PlFormula,PlBeliefSet>

public class EnumeratingIterator
extends Object
implements net.sf.tweety.commons.BeliefSetIterator<PlFormula,PlBeliefSet>

Author:

mthimm

Constructor Summary

Constructors

Constructor	Description
EnumeratingIterator(PlSignature signature)	Creates a new sampler for the given signature
EnumeratingIterator(PlSignature signature, boolean joinSemanticVariants)	Creates a new sampler for the given signature

Method Summary

Modifier and Type	Method	Description
boolean	hasNext()
PlBeliefSet	next()

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, remove

Constructor Detail

EnumeratingIterator

public EnumeratingIterator(PlSignature signature)

Creates a new sampler for the given signature

Parameters:

signature - some signature

EnumeratingIterator

public EnumeratingIterator(PlSignature signature,
                           boolean joinSemanticVariants)

Creates a new sampler for the given signature

Parameters:

signature - some signature

joinSemanticVariants - whether semantical variants of the same formula should be considered as distinct (="false").

Method Detail

hasNext

public boolean hasNext()

Specified by:

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

Specified by:

hasNext in interface Iterator<PlBeliefSet>

next

public PlBeliefSet next()

Specified by:

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

Specified by:

next in interface Iterator<PlBeliefSet>