Package net.sf.tweety.arg.dung.util

Interface Summary

Interface	Description
DungTheoryGenerator	Class implementing this interface provide the capability to generate Dung theories.

Class Summary

Class	Description
DefaultDungTheoryGenerator	Implements a customizable Dung theory generator.
DungTheoryGenerationParameters	This class lists some parameters for Dung theory generation.
EnumeratingDungTheoryGenerator	This generator generators all possible Dung argumentation theories.
FileDungTheoryGenerator	This generator receives a list of files containing Dung theories and returns those step by step.
IsoSafeEnumeratingDungTheoryGenerator	This generator generators all possible Dung argumentation theories (modulo graph isomorphism).
PodlaszewskiCaminadaDungTheoryGenerator	This generator generates abstract argumentation frameworks following the schema described in "Strong Admissibility Revisited" (COMMA2014) by Martin Caminda, following and idea by Mikolay Podlaszewski.