public class PodlaszewskiCaminadaDungTheoryGenerator extends java.lang.Object implements DungTheoryGenerator
Modifier and Type | Field and Description |
---|---|
private int |
numComponents
The number of components in the generated frameworks.
|
Constructor and Description |
---|
PodlaszewskiCaminadaDungTheoryGenerator(int numComponents)
Creates a new generator that generates frameworks of the
given numComponents >= 0.
|
Modifier and Type | Method and Description |
---|---|
DungTheory |
generate()
Generates a new Dung theory
|
DungTheory |
generate(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.
|
private int numComponents
public PodlaszewskiCaminadaDungTheoryGenerator(int numComponents)
numComponents
- the number of componentspublic DungTheory generate()
DungTheoryGenerator
generate
in interface DungTheoryGenerator
public DungTheory generate(Argument arg)
DungTheoryGenerator
generate
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.