Package org.tweetyproject.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:
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 Iterator<U>
Classes implementing this interface are able to enumerate belief sets.
Author:
Matthias Thimm