Package net.sf.tweety.arg.dung.util
Interface DungTheoryGenerator
-
- All Superinterfaces:
BeliefSetIterator<Argument,DungTheory>
,java.util.Iterator<DungTheory>
- All Known Implementing Classes:
DefaultDungTheoryGenerator
,EnumeratingDungTheoryGenerator
,FileDungTheoryGenerator
,IsoSafeEnumeratingDungTheoryGenerator
,PodlaszewskiCaminadaDungTheoryGenerator
public interface DungTheoryGenerator extends BeliefSetIterator<Argument,DungTheory>
Class implementing this interface provide the capability to generate Dung theories.- Author:
- Matthias Thimm
-
-
Method Summary
Modifier and Type Method 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 extensionvoid
setSeed(long seed)
Set the seed for the generation.
-
-
-
Method Detail
-
hasNext
boolean hasNext()
- Specified by:
hasNext
in interfaceBeliefSetIterator<Argument,DungTheory>
- Specified by:
hasNext
in interfacejava.util.Iterator<DungTheory>
-
next
DungTheory next()
- Specified by:
next
in interfaceBeliefSetIterator<Argument,DungTheory>
- Specified by:
next
in interfacejava.util.Iterator<DungTheory>
-
next
DungTheory next(Argument arg)
Generates a new Dung theory where the given argument is enforced to be in the grounded extension- Parameters:
arg
- an argument that is enforced to be in the grounded extension of the generated theory.- Returns:
- a Dung theory,
-
setSeed
void setSeed(long seed)
Set the seed for the generation. Every two runs of generations with the same seed are ensured to be identical.- Parameters:
seed
- some seed.
-
-