Package net.sf.tweety.arg.dung.util
Class DefaultDungTheoryGenerator
- java.lang.Object
-
- net.sf.tweety.arg.dung.util.DefaultDungTheoryGenerator
-
- All Implemented Interfaces:
Iterator<DungTheory>,DungTheoryGenerator,net.sf.tweety.commons.BeliefSetIterator<Argument,DungTheory>
public class DefaultDungTheoryGenerator extends 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 booleanhasNext()DungTheorynext()DungTheorynext(Argument arg)Generates a new Dung theory where the given argument is enforced to be in the grounded extensionvoidsetSeed(long seed)Set the seed for the generation.StringtoString()-
Methods inherited from class java.lang.Object
clone, equals, finalize, 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:
nextin interfacenet.sf.tweety.commons.BeliefSetIterator<Argument,DungTheory>- Specified by:
nextin interfaceDungTheoryGenerator- Specified by:
nextin interfaceIterator<DungTheory>
-
next
public DungTheory next(Argument arg)
Description copied from interface:DungTheoryGeneratorGenerates a new Dung theory where the given argument is enforced to be in the grounded extension- Specified by:
nextin 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:DungTheoryGeneratorSet the seed for the generation. Every two runs of generations with the same seed are ensured to be identical.- Specified by:
setSeedin interfaceDungTheoryGenerator- Parameters:
seed- some seed.
-
hasNext
public boolean hasNext()
- Specified by:
hasNextin interfacenet.sf.tweety.commons.BeliefSetIterator<Argument,DungTheory>- Specified by:
hasNextin interfaceDungTheoryGenerator- Specified by:
hasNextin interfaceIterator<DungTheory>
-
-