Package org.tweetyproject.arg.dung.util
Class FileDungTheoryGenerator
java.lang.Object
org.tweetyproject.arg.dung.util.FileDungTheoryGenerator
- All Implemented Interfaces:
Iterator<DungTheory>
,DungTheoryGenerator
,BeliefSetIterator<Argument,DungTheory>
This generator receives a list of files containing Dung theories
and returns those step by step.
- Author:
- Matthias Thimm
-
Constructor Summary
ConstructorDescriptionFileDungTheoryGenerator(File[] files, Parser<DungTheory,?> parser, boolean loop)
Creates a new theory generator for the given files, which can be parsed by the given parser. -
Method Summary
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
Methods inherited from interface java.util.Iterator
forEachRemaining, remove
-
Constructor Details
-
FileDungTheoryGenerator
Creates a new theory generator for the given files, which can be parsed by the given parser.- Parameters:
files
- an array of files.parser
- a parser for the files.loop
- whether to loop the files indefinitely.
-
-
Method Details
-
hasNext
public boolean hasNext()- Specified by:
hasNext
in interfaceBeliefSetIterator<Argument,DungTheory>
- Specified by:
hasNext
in interfaceDungTheoryGenerator
- Specified by:
hasNext
in interfaceIterator<DungTheory>
-
next
- Specified by:
next
in interfaceBeliefSetIterator<Argument,DungTheory>
- Specified by:
next
in interfaceDungTheoryGenerator
- Specified by:
next
in interfaceIterator<DungTheory>
-
getPreviousFile
Returns the file of the theory previously returned by "next()"- Returns:
- the file of the theory previously returned by "next()" (or NULL if there was none)
-
next
Description copied from interface:DungTheoryGenerator
Generates a new Dung theory where the given argument is enforced to be in the grounded extension- Specified by:
next
in interfaceDungTheoryGenerator
- Parameters:
arg
- an argument that is enforced to be in the grounded extension of the generated theory.- Returns:
- a Dung theory,
-
setSeed
public void setSeed(long seed)Description copied from interface:DungTheoryGenerator
Set the seed for the generation. Every two runs of generations with the same seed are ensured to be identical.- Specified by:
setSeed
in interfaceDungTheoryGenerator
- Parameters:
seed
- some seed.
-