DungTheoryGenerator

All Superinterfaces:: BeliefSetIterator<Argument,DungTheory>, Iterator<DungTheory>

All Known Implementing Classes:: DefaultDungTheoryGenerator, EnumeratingDungTheoryGenerator, FileDungTheoryGenerator, IsoSafeEnumeratingDungTheoryGenerator, 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

hasNext()

DungTheory

next()

DungTheory

next(Argument arg)

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

Method Details
- hasNext
  
  boolean hasNext()
  
  Specified by:
  
  hasNext in interface BeliefSetIterator<Argument,DungTheory>
  
  Specified by:
  
  hasNext in interface Iterator<DungTheory>
- next
  
  DungTheory next()
  
  Specified by:
  
  next in interface BeliefSetIterator<Argument,DungTheory>
  
  Specified by:
  
  next in interface Iterator<DungTheory>
- next
  
  DungTheory next(Argument arg)
  
  Generates a new Dung theory where the given argument is enforced to be in the grounded extension
  
  Parameters:
  
  arg - an argument that is enforced to be in the grounded extension of the generated theory.
  
  Returns:
  
  a Dung theory,
- setSeed
  
  void setSeed(long seed)
  
  Set the seed for the generation. Every two runs of generations with the same seed are ensured to be identical.
  
  Parameters:
  
  seed - some seed.