public interface DungTheoryGenerator extends BeliefSetIterator<Argument,DungTheory>
Modifier and Type | Method and 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 extension
|
void |
setSeed(long seed)
Set the seed for the generation.
|
boolean hasNext()
hasNext
in interface BeliefSetIterator<Argument,DungTheory>
hasNext
in interface java.util.Iterator<DungTheory>
DungTheory next()
next
in interface BeliefSetIterator<Argument,DungTheory>
next
in interface java.util.Iterator<DungTheory>
DungTheory next(Argument arg)
arg
- an argument that is enforced
to be in the grounded extension of the generated theory.void setSeed(long seed)
seed
- some seed.