net.sf.tweety.logics.pl.util

Class SyntacticEnumeratingIterator

java.lang.Object

net.sf.tweety.logics.pl.util.SyntacticEnumeratingIterator

All Implemented Interfaces:

Iterator<PlBeliefSet>, net.sf.tweety.commons.BeliefSetIterator<PropositionalFormula,PlBeliefSet>

public class SyntacticEnumeratingIterator
extends Object
implements net.sf.tweety.commons.BeliefSetIterator<PropositionalFormula,PlBeliefSet>

Generates all syntactic variations of knowledge bases

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor and Description
SyntacticEnumeratingIterator(PropositionalSignature signature, int formulaLength, File pathToTmp, boolean deleteTmp) Creates a new sampler.

Method Summary

Modifier and Type	Method and 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(PropositionalSignature 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 Iterator<PlBeliefSet>

Specified by:

hasNext in interface net.sf.tweety.commons.BeliefSetIterator<PropositionalFormula,PlBeliefSet>

next

public PlBeliefSet next()

Specified by:

next in interface Iterator<PlBeliefSet>

Specified by:

next in interface net.sf.tweety.commons.BeliefSetIterator<PropositionalFormula,PlBeliefSet>