net.sf.tweety.arg.dung.util

Class FileDungTheoryGenerator

java.lang.Object

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

All Implemented Interfaces:

DungTheoryGenerator

public class FileDungTheoryGenerator
extends Object
implements DungTheoryGenerator

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

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor and Description
FileDungTheoryGenerator(File[] files, net.sf.tweety.commons.Parser<DungTheory> parser) 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
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
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

Constructor Detail

FileDungTheoryGenerator

public FileDungTheoryGenerator(File[] files,
                               net.sf.tweety.commons.Parser<DungTheory> parser)

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.

Method Detail

generate

public DungTheory generate()

Description copied from interface: DungTheoryGenerator

Generates a new Dung theory

Specified by:

generate in interface DungTheoryGenerator

Returns:

a Dung theory,

generate

public DungTheory generate(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:

generate 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.