Package org.tweetyproject.arg.dung.util

Class EnumeratingDilationGenerator

java.lang.Object

org.tweetyproject.arg.dung.util.EnumeratingDungTheoryGenerator

org.tweetyproject.arg.dung.util.EnumeratingDilationGenerator

All Implemented Interfaces:

Iterator<DungTheory>, DungTheoryGenerator, BeliefSetIterator<Argument,DungTheory>

public class EnumeratingDilationGenerator
extends EnumeratingDungTheoryGenerator

This class is responsible for dilating a specified original abstract argumentation framework by adding new arguments and new attacks, while conserving the original framwork.

Version:

TweetyProject 1.23

Author:

Julian Sander

Constructor Summary

Constructors

Constructor	Description
EnumeratingDilationGenerator(DungTheory frameworkOriginal)	Constructs a new dilation generator with a reference to an original Dung theory.

Method Summary

Methods inherited from class org.tweetyproject.arg.dung.util.EnumeratingDungTheoryGenerator

getAttacks, getCurrentSize, hasNext, next, next, setAttacks, setCurrentSize, setSeed

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface java.util.Iterator

forEachRemaining, remove

Constructor Details

EnumeratingDilationGenerator

public EnumeratingDilationGenerator(DungTheory frameworkOriginal)

Constructs a new dilation generator with a reference to an original Dung theory. The constructor initializes the generator and sets the framework size to the size of the original framework plus one, preparing the generator to expand the framework.

Parameters:

frameworkOriginal - The original Dung theory that this generator will dilate.