net.sf.tweety.arg.dung.util

Class DefaultDungTheoryGenerator

java.lang.Object

net.sf.tweety.arg.dung.util.DefaultDungTheoryGenerator

All Implemented Interfaces:

DungTheoryGenerator

public class DefaultDungTheoryGenerator
extends java.lang.Object
implements DungTheoryGenerator

Implements a customizable Dung theory generator.

Author:

Matthias Thimm

Field Summary

Fields

Modifier and Type	Field and Description
private DungTheoryGenerationParameters	params The parameters for generation.
private java.util.Random	random Random numbers generator.

Constructor Summary

Constructors

Constructor and Description
DefaultDungTheoryGenerator(DungTheoryGenerationParameters params) Creates a new generator with the given parameters.

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
private DungTheory	generateTreeShape(Argument arg) Generates a Dung theory with a tree shape where the given argument is the root.
void	setSeed(long seed) Set the seed for the generation.
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

params

private DungTheoryGenerationParameters params

The parameters for generation.

random

private java.util.Random random

Random numbers generator.

Constructor Detail

DefaultDungTheoryGenerator

public DefaultDungTheoryGenerator(DungTheoryGenerationParameters params)

Creates a new generator with the given parameters.

Parameters:

params - some generation parameters.

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.

generateTreeShape

private DungTheory generateTreeShape(Argument arg)

Generates a Dung theory with a tree shape where the given argument is the root.

Parameters:

arg - some argument.

Returns:

a Dung theory.

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object