Package net.sf.tweety.arg.dung.util
Class DefaultDungTheoryGenerator
- java.lang.Object
-
- net.sf.tweety.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 extensionvoid
setSeed(long seed)
Set the seed for the generation.java.lang.String
toString()
-
-
-
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 interfaceBeliefSetIterator<Argument,DungTheory>
- Specified by:
next
in interfaceDungTheoryGenerator
- Specified by:
next
in interfacejava.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 interfaceDungTheoryGenerator
- 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 interfaceDungTheoryGenerator
- Parameters:
seed
- some seed.
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
hasNext
public boolean hasNext()
- Specified by:
hasNext
in interfaceBeliefSetIterator<Argument,DungTheory>
- Specified by:
hasNext
in interfaceDungTheoryGenerator
- Specified by:
hasNext
in interfacejava.util.Iterator<DungTheory>
-
-