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)	*description missing*

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)

*description missing*

Parameters:

frameworkOriginal - *description missing*