net.sf.tweety.commons

Interface BeliefSetIterator<S extends Formula,T extends BeliefSet<S>>

Type Parameters:

S - The type of formulas

T - The type of belief sets

All Superinterfaces:

java.util.Iterator<T>

All Known Subinterfaces:

DungTheoryGenerator

All Known Implementing Classes:

BeliefSetSampler, CanonicalIterator, CnfSampler, ContensionSampler, DefaultDungTheoryGenerator, EnumeratingDungTheoryGenerator, EnumeratingIterator, FileDungTheoryGenerator, HsSampler, IsoSafeEnumeratingDungTheoryGenerator, MiSampler, PodlaszewskiCaminadaDungTheoryGenerator, RandomSampler, RandomSatSampler, SimpleSafSampler, SyntacticEnumeratingIterator, SyntacticRandomSampler

public interface BeliefSetIterator<S extends Formula,T extends BeliefSet<S>>
extends java.util.Iterator<T>

Classes implementing this interface are able to enumerate belief sets.

Author:

Matthias Thimm

Method Summary

Modifier and Type	Method and Description
boolean	hasNext()
T	next()

Methods inherited from interface java.util.Iterator

forEachRemaining, remove

Method Detail

hasNext

boolean hasNext()

Specified by:

hasNext in interface java.util.Iterator<T extends BeliefSet<S>>

next

T next()

Specified by:

next in interface java.util.Iterator<T extends BeliefSet<S>>