Package net.sf.tweety.logics.pl.util
Class EnumeratingIterator
- java.lang.Object
-
- net.sf.tweety.logics.pl.util.EnumeratingIterator
-
- All Implemented Interfaces:
java.util.Iterator<PlBeliefSet>
,BeliefSetIterator<PlFormula,PlBeliefSet>
public class EnumeratingIterator extends java.lang.Object implements BeliefSetIterator<PlFormula,PlBeliefSet>
- Author:
- mthimm
-
-
Constructor Summary
Constructors Constructor Description EnumeratingIterator(PlSignature signature)
Creates a new sampler for the given signatureEnumeratingIterator(PlSignature signature, boolean joinSemanticVariants)
Creates a new sampler for the given signature
-
Method Summary
Modifier and Type Method Description boolean
hasNext()
PlBeliefSet
next()
-
-
-
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 signaturejoinSemanticVariants
- whether semantical variants of the same formula should be considered as distinct (="false").
-
-
Method Detail
-
hasNext
public boolean hasNext()
- Specified by:
hasNext
in interfaceBeliefSetIterator<PlFormula,PlBeliefSet>
- Specified by:
hasNext
in interfacejava.util.Iterator<PlBeliefSet>
-
next
public PlBeliefSet next()
- Specified by:
next
in interfaceBeliefSetIterator<PlFormula,PlBeliefSet>
- Specified by:
next
in interfacejava.util.Iterator<PlBeliefSet>
-
-