Class 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>