SyntacticEnumeratingIterator

java.lang.Object
- org.tweetyproject.logics.pl.util.SyntacticEnumeratingIterator

All Implemented Interfaces:

java.util.Iterator<PlBeliefSet>, BeliefSetIterator<PlFormula,PlBeliefSet>
```
public class SyntacticEnumeratingIterator
extends java.lang.Object
implements BeliefSetIterator<PlFormula,PlBeliefSet>
```
Generates all syntactic variations of knowledge bases

Author:

Matthias Thimm

Constructor Summary

Constructors
Constructor	Description
`SyntacticEnumeratingIterator(PlSignature signature, int formulaLength, java.io.File pathToTmp, boolean deleteTmp)`	Creates a new sampler.

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
  - SyntacticEnumeratingIterator
```
public SyntacticEnumeratingIterator(PlSignature signature,
                                    int formulaLength,
                                    java.io.File pathToTmp,
                                    boolean deleteTmp)
```
    Creates a new sampler.
    
    Parameters:
    
    signature - the signature for formulas of the generated belief set.
    
    formulaLength - the maximal length of each formula (each proposition, negation, conjunction, and disjunction counts one).
    
    pathToTmp - the path to a folder where intermediate results (all formulas up to the required length) are stored
    
    deleteTmp - if "true" then the temporary folder is cleaned after each sample (it is recommended to set this to "false" to speed up sampling)
- 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>