net.sf.tweety.arg.dung.util

Class IsoSafeEnumeratingDungTheoryGenerator

java.lang.Object

net.sf.tweety.arg.dung.util.IsoSafeEnumeratingDungTheoryGenerator

All Implemented Interfaces:

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

public class IsoSafeEnumeratingDungTheoryGenerator
extends java.lang.Object
implements DungTheoryGenerator

This generator generators all possible Dung argumentation theories (modulo graph isomorphism). It starts with the argumentation frameworks just consisting of one arguments and then increases their size.

Author:

Matthias Thimm

Field Summary

Fields

Modifier and Type	Field and Description
private int	cntArguments The number of arguments in the theory that is to be generated next.
private int	cntAttacks The number of attacks in the theory that is to be generated next.
private java.util.Collection<DungTheory>	currentTheories The set of all Dung theories with cntArguments arguments and cntAttacks attacks.
private java.util.Iterator<DungTheory>	iterator The iterator on currentTheories.

Constructor Summary

Constructors

Constructor and Description
IsoSafeEnumeratingDungTheoryGenerator() Creates a new enumerating Dung theory generator.

Method Summary

Modifier and Type	Method and Description
boolean	hasNext()
private boolean	isIsomorphic(DungTheory theory, java.util.Collection<DungTheory> theories) Checks whether the first theory is isomorphic to some theory in "theories".
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

cntArguments

private int cntArguments

The number of arguments in the theory that is to be generated next.

cntAttacks

private int cntAttacks

The number of attacks in the theory that is to be generated next.

currentTheories

private java.util.Collection<DungTheory> currentTheories

The set of all Dung theories with cntArguments arguments and cntAttacks attacks.

iterator

private java.util.Iterator<DungTheory> iterator

The iterator on currentTheories.

Constructor Detail

IsoSafeEnumeratingDungTheoryGenerator

public IsoSafeEnumeratingDungTheoryGenerator()

Creates a new enumerating Dung theory generator.

Method Detail

isIsomorphic

private boolean isIsomorphic(DungTheory theory,
                             java.util.Collection<DungTheory> theories)

Checks whether the first theory is isomorphic to some theory in "theories".

Parameters:

theory - a Dung theory

theories - a collection of Dung theories.

Returns:

"true" if the first theory is isomorphic to some theory in "theories".

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.

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>