net.sf.tweety.arg.dung.util

Interface DungTheoryGenerator

All Known Implementing Classes:

DefaultDungTheoryGenerator, EnumeratingDungTheoryGenerator, FileDungTheoryGenerator, IsoSafeEnumeratingDungTheoryGenerator, PodlaszewskiCaminadaDungTheoryGenerator

public interface DungTheoryGenerator

Class implementing this interface provide the capability to generate Dung theories.

Author:

Matthias Thimm

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.

Method Detail

generate

DungTheory generate()

Generates a new Dung theory

Returns:

a Dung theory,

generate

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