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, EnumeratingDilationGenerator, EnumeratingDungTheoryGenerator, EnumeratingIterator, FileDungTheoryGenerator, HsSampler, IsoSafeEnumeratingDungTheoryGenerator, KwtDungTheoryGenerator, MiSampler, PodlaszewskiCaminadaDungTheoryGenerator, RandomDeductiveKnowledgeBaseGenerator, 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