Package org.tweetyproject.arg.dung.util

Class DefaultDungTheoryGenerator

java.lang.Object

org.tweetyproject.arg.dung.util.DefaultDungTheoryGenerator

All Implemented Interfaces:

java.util.Iterator<DungTheory>, DungTheoryGenerator, BeliefSetIterator<Argument,DungTheory>

public class DefaultDungTheoryGenerator
extends java.lang.Object
implements DungTheoryGenerator

Implements a customizable Dung theory generator.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor	Description
DefaultDungTheoryGenerator(DungTheoryGenerationParameters params)	Creates a new generator with the given parameters.

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.
java.lang.String	toString()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.Iterator

forEachRemaining, remove

Constructor Detail

DefaultDungTheoryGenerator

public DefaultDungTheoryGenerator(DungTheoryGenerationParameters params)

Creates a new generator with the given parameters.

Parameters:

params - some generation parameters.

Method Detail

next

public DungTheory next()

Specified by:

next in interface BeliefSetIterator<Argument,DungTheory>

Specified by:

next in interface DungTheoryGenerator

Specified by:

next in interface java.util.Iterator<DungTheory>

next

public DungTheory next(Argument arg)

Description copied from interface: DungTheoryGenerator

Generates a new Dung theory where the given argument is enforced to be in the grounded extension

Specified by:

next in interface DungTheoryGenerator

Parameters:

arg - an argument that is enforced to be in the grounded extension of the generated theory.

Returns:

a Dung theory,

setSeed

public void setSeed(long seed)

Description copied from interface: DungTheoryGenerator

Set the seed for the generation. Every two runs of generations with the same seed are ensured to be identical.

Specified by:

setSeed in interface DungTheoryGenerator

Parameters:

seed - some seed.

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

hasNext

public boolean hasNext()

Specified by:

hasNext in interface BeliefSetIterator<Argument,DungTheory>

Specified by:

hasNext in interface DungTheoryGenerator

Specified by:

hasNext in interface java.util.Iterator<DungTheory>