DungTheoryGenerator (Tweety (Dung Argumentation Library) 1.17 API)

All Superinterfaces:

net.sf.tweety.commons.BeliefSetIterator<Argument,DungTheory>, Iterator<DungTheory>

All Known Implementing Classes:

DefaultDungTheoryGenerator, EnumeratingDungTheoryGenerator, FileDungTheoryGenerator, IsoSafeEnumeratingDungTheoryGenerator, PodlaszewskiCaminadaDungTheoryGenerator
```
public interface DungTheoryGenerator
extends net.sf.tweety.commons.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 Detail
  - hasNext
```
boolean hasNext()
```
    Specified by:
    
    hasNext in interface net.sf.tweety.commons.BeliefSetIterator<Argument,DungTheory>
    
    Specified by:
    
    hasNext in interface Iterator<DungTheory>
  - next
```
DungTheory next()
```
    Specified by:
    
    next in interface net.sf.tweety.commons.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.