net.sf.tweety.arg.dung.util

Class PodlaszewskiCaminadaDungTheoryGenerator

java.lang.Object

net.sf.tweety.arg.dung.util.PodlaszewskiCaminadaDungTheoryGenerator

All Implemented Interfaces:

Iterator<DungTheory>, DungTheoryGenerator, net.sf.tweety.commons.BeliefSetIterator<Argument,DungTheory>

public class PodlaszewskiCaminadaDungTheoryGenerator
extends Object
implements DungTheoryGenerator

This generator generates abstract argumentation frameworks following the schema described in "Strong Admissibility Revisited" (COMMA2014) by Martin Caminda, following and idea by Mikolay Podlaszewski. These frameworks are supposedly hard for computing grounded semantics.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor and Description
PodlaszewskiCaminadaDungTheoryGenerator(int numComponents) Creates a new generator that generates frameworks of the given numComponents >= 0.

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

Constructor Detail

PodlaszewskiCaminadaDungTheoryGenerator

public PodlaszewskiCaminadaDungTheoryGenerator(int numComponents)

Creates a new generator that generates frameworks of the given numComponents >= 0. More precisely, the number of arguments in these frameworks have 4 + numComponents*4 arguments.

Parameters:

numComponents - the number of components

Method Detail

next

public DungTheory next()

Specified by:

next in interface Iterator<DungTheory>

Specified by:

next in interface DungTheoryGenerator

Specified by:

next in interface net.sf.tweety.commons.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.

hasNext

public boolean hasNext()

Specified by:

hasNext in interface Iterator<DungTheory>

Specified by:

hasNext in interface DungTheoryGenerator

Specified by:

hasNext in interface net.sf.tweety.commons.BeliefSetIterator<Argument,DungTheory>