Package net.sf.tweety.commons

Interface BeliefSetIterator<T extends Formula,U extends BeliefSet<T,?>>

Type Parameters:

T - The type of formulas

U - The type of belief sets

All Superinterfaces:

java.util.Iterator<U>

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, TextfileIterator

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

Classes implementing this interface are able to enumerate belief sets.

Author:

Matthias Thimm

Method Summary

Modifier and Type	Method	Description
boolean	hasNext()
U	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 Formula>

next

U next()

Specified by:

next in interface java.util.Iterator<T extends Formula>