Uses of Class
org.tweetyproject.arg.dung.util.EnumeratingDungTheoryGenerator

Packages that use EnumeratingDungTheoryGenerator

Package	Description
org.tweetyproject.arg.dung.equivalence
org.tweetyproject.arg.dung.util

Uses of EnumeratingDungTheoryGenerator in org.tweetyproject.arg.dung.equivalence

Methods in org.tweetyproject.arg.dung.equivalence with parameters of type EnumeratingDungTheoryGenerator

Modifier and Type	Method	Description
LinkedHashMap<DungTheory,HashSet<DungTheory>>	EquivalenceCompExFinder.findAllExamples(int numberOfMaxRandomGenerationTries, DungTheory framework1, EnumeratingDungTheoryGenerator generatorFramework2, Function<DungTheory,Boolean> askIf1stFrameInteresting, Function<DungTheory[],Boolean> askIfInterestingPair, Function<EnumeratingDungTheoryGenerator,Boolean> askGen2Finished)	Generates all possible examples of pairs of frameworks, containing the specified framework.

Uses of EnumeratingDungTheoryGenerator in org.tweetyproject.arg.dung.util

Subclasses of EnumeratingDungTheoryGenerator in org.tweetyproject.arg.dung.util

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