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