SyntacticEnumeratingIterator

java.lang.Object

org.tweetyproject.logics.pl.util.SyntacticEnumeratingIterator

All Implemented Interfaces:: Iterator<PlBeliefSet>, BeliefSetIterator<PlFormula,PlBeliefSet>

public class SyntacticEnumeratingIterator extends 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, 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 Details
- 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 Details
- hasNext
  
  public boolean hasNext()
  
  Specified by:
  
  hasNext in interface BeliefSetIterator<PlFormula,PlBeliefSet>
  
  Specified by:
  
  hasNext in interface Iterator<PlBeliefSet>
- next
  
  public PlBeliefSet next()
  
  Specified by:
  
  next in interface BeliefSetIterator<PlFormula,PlBeliefSet>
  
  Specified by:
  
  next in interface Iterator<PlBeliefSet>