Package net.sf.tweety.logics.pl.util
Class SyntacticEnumeratingIterator
- java.lang.Object
-
- net.sf.tweety.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()
-
-
-
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 storeddeleteTmp
- 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 interfaceBeliefSetIterator<PlFormula,PlBeliefSet>
- Specified by:
hasNext
in interfacejava.util.Iterator<PlBeliefSet>
-
next
public PlBeliefSet next()
- Specified by:
next
in interfaceBeliefSetIterator<PlFormula,PlBeliefSet>
- Specified by:
next
in interfacejava.util.Iterator<PlBeliefSet>
-
-