public class IsoSafeEnumeratingDungTheoryGenerator extends java.lang.Object implements DungTheoryGenerator
Modifier and Type | Field and Description |
---|---|
private int |
cntArguments
The number of arguments in the theory that is to be generated next.
|
private int |
cntAttacks
The number of attacks in the theory that is to be generated next.
|
private java.util.Collection<DungTheory> |
currentTheories
The set of all Dung theories with cntArguments arguments and cntAttacks attacks.
|
private java.util.Iterator<DungTheory> |
iterator
The iterator on currentTheories.
|
Constructor and Description |
---|
IsoSafeEnumeratingDungTheoryGenerator()
Creates a new enumerating Dung theory generator.
|
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
|
private boolean |
isIsomorphic(DungTheory theory,
java.util.Collection<DungTheory> theories)
Checks whether the first theory is isomorphic to some theory
in "theories".
|
void |
setSeed(long seed)
Set the seed for the generation.
|
private int cntArguments
private int cntAttacks
private java.util.Collection<DungTheory> currentTheories
private java.util.Iterator<DungTheory> iterator
public IsoSafeEnumeratingDungTheoryGenerator()
private boolean isIsomorphic(DungTheory theory, java.util.Collection<DungTheory> theories)
theory
- a Dung theorytheories
- a collection of Dung theories.public 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.