public class DefaultDungTheoryGenerator extends java.lang.Object implements DungTheoryGenerator
Modifier and Type | Field and Description |
---|---|
private DungTheoryGenerationParameters |
params
The parameters for generation.
|
private java.util.Random |
random
Random numbers generator.
|
Constructor and Description |
---|
DefaultDungTheoryGenerator(DungTheoryGenerationParameters params)
Creates a new generator with the given parameters.
|
Modifier and Type | Method and Description |
---|---|
private DungTheory |
generateTreeShape(Argument arg)
Generates a Dung theory with a tree shape where the given argument
is the root.
|
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() |
private DungTheoryGenerationParameters params
private java.util.Random random
public DefaultDungTheoryGenerator(DungTheoryGenerationParameters params)
params
- some generation parameters.public DungTheory next()
next
in interface java.util.Iterator<DungTheory>
next
in interface DungTheoryGenerator
next
in interface BeliefSetIterator<Argument,DungTheory>
public DungTheory next(Argument arg)
DungTheoryGenerator
next
in interface DungTheoryGenerator
arg
- an argument that is enforced
to be in the grounded extension of the generated theory.public void setSeed(long seed)
DungTheoryGenerator
setSeed
in interface DungTheoryGenerator
seed
- some seed.private DungTheory generateTreeShape(Argument arg)
arg
- some argument.public java.lang.String toString()
toString
in class java.lang.Object
public boolean hasNext()
hasNext
in interface java.util.Iterator<DungTheory>
hasNext
in interface DungTheoryGenerator
hasNext
in interface BeliefSetIterator<Argument,DungTheory>