SyntacticEnumeratingIterator (Tweety (Propositional Logic) 1.17 API)

java.lang.Object
- net.sf.tweety.logics.pl.util.SyntacticEnumeratingIterator

All Implemented Interfaces:

Iterator<PlBeliefSet>, net.sf.tweety.commons.BeliefSetIterator<PlFormula,PlBeliefSet>
```
public class SyntacticEnumeratingIterator
extends Object
implements net.sf.tweety.commons.BeliefSetIterator<PlFormula,PlBeliefSet>
```
Generates all syntactic variations of knowledge bases

Author:

Matthias Thimm

Constructor Summary

Constructors
Constructor	Description
`SyntacticEnumeratingIterator(PlSignature signature, int formulaLength, 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
  clone, equals, finalize, 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,
                                    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 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>