net.sf.tweety.arg.dung.util

Class FileDungTheoryGenerator

java.lang.Object

net.sf.tweety.arg.dung.util.FileDungTheoryGenerator

All Implemented Interfaces:

java.util.Iterator<DungTheory>, DungTheoryGenerator, BeliefSetIterator<Argument,DungTheory>

public class FileDungTheoryGenerator
extends java.lang.Object
implements DungTheoryGenerator

This generator receives a list of files containing Dung theories and returns those step by step.

Author:

Matthias Thimm

Field Summary

Fields

Modifier and Type	Field and Description
private java.io.File[]	files The files containing Dung theories.
private int	idx The index of the next theory to be returned.
private boolean	loop Whether to loop the files indefinitely
private Parser<DungTheory>	parser A parser for parsing the files.

Constructor Summary

Constructors

Constructor and Description
FileDungTheoryGenerator(java.io.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

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.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface java.util.Iterator

forEachRemaining, remove

Field Detail

files

private java.io.File[] files

The files containing Dung theories.

parser

private Parser<DungTheory> parser

A parser for parsing the files.

idx

private int idx

The index of the next theory to be returned.

loop

private boolean loop

Whether to loop the files indefinitely

Constructor Detail

FileDungTheoryGenerator

public FileDungTheoryGenerator(java.io.File[] files,
                               Parser<DungTheory> parser,
                               boolean loop)

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 Detail

hasNext

public boolean hasNext()

Specified by:

hasNext in interface java.util.Iterator<DungTheory>

Specified by:

hasNext in interface DungTheoryGenerator

Specified by:

hasNext in interface BeliefSetIterator<Argument,DungTheory>

next

public DungTheory next()

Specified by:

next in interface java.util.Iterator<DungTheory>

Specified by:

next in interface DungTheoryGenerator

Specified by:

next in interface BeliefSetIterator<Argument,DungTheory>

next

public DungTheory next(Argument arg)

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 interface DungTheoryGenerator

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 interface DungTheoryGenerator

Parameters:

seed - some seed.