EnumeratingIterator

java.lang.Object
- org.tweetyproject.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 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
  equals, 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 BeliefSetIterator<PlFormula,PlBeliefSet>
    
    Specified by:
    
    hasNext in interface java.util.Iterator<PlBeliefSet>
  - next
```
public PlBeliefSet next()
```
    Specified by:
    
    next in interface BeliefSetIterator<PlFormula,PlBeliefSet>
    
    Specified by:
    
    next in interface java.util.Iterator<PlBeliefSet>