Interface DungTheoryGenerator

All Superinterfaces:
BeliefSetIterator<Argument,DungTheory>, Iterator<DungTheory>
All Known Implementing Classes:
DefaultDungTheoryGenerator, EnumeratingDungTheoryGenerator, FileDungTheoryGenerator, IsoSafeEnumeratingDungTheoryGenerator, KwtDungTheoryGenerator, PodlaszewskiCaminadaDungTheoryGenerator

public interface DungTheoryGenerator extends BeliefSetIterator<Argument,DungTheory>
Class implementing this interface provide the capability to generate Dung theories.
Author:
Matthias Thimm
  • Method Summary

    Modifier and Type
    Method
    Description
    boolean
     
     
    Generates a new Dung theory where the given argument is enforced to be in the grounded extension
    void
    setSeed(long seed)
    Set the seed for the generation.

    Methods inherited from interface java.util.Iterator

    forEachRemaining, remove