Uses of Class
net.sf.tweety.arg.adf.reasoner.AbstractDialecticalFrameworkReasoner

Packages that use AbstractDialecticalFrameworkReasoner

Package	Description
net.sf.tweety.arg.adf.cli
net.sf.tweety.arg.adf.reasoner
net.sf.tweety.arg.adf.reasoner.test

Uses of AbstractDialecticalFrameworkReasoner in net.sf.tweety.arg.adf.cli

Fields in net.sf.tweety.arg.adf.cli with type parameters of type AbstractDialecticalFrameworkReasoner

Modifier and Type	Field	Description
private static java.util.Map<java.lang.String,AbstractDialecticalFrameworkReasoner>	CommandLineInterface.reasonerBySemantics

Uses of AbstractDialecticalFrameworkReasoner in net.sf.tweety.arg.adf.reasoner

Subclasses of AbstractDialecticalFrameworkReasoner in net.sf.tweety.arg.adf.reasoner

Modifier and Type	Class	Description
class	AdmissibleReasoner
class	CompleteReasoner
class	ConflictFreeReasoner
class	GroundReasoner
class	ModelReasoner
class	NaiveReasoner
class	PipelineReasoner
class	PreferredReasoner
class	StableReasoner

Uses of AbstractDialecticalFrameworkReasoner in net.sf.tweety.arg.adf.reasoner.test

Methods in net.sf.tweety.arg.adf.reasoner.test with parameters of type AbstractDialecticalFrameworkReasoner

Modifier and Type	Method	Description
BenchmarkResult	ReasonerBenchmark.runBenchmark(AbstractDialecticalFramework adf, AbstractDialecticalFrameworkReasoner reasoner, java.util.Set<java.util.Map<java.lang.String,java.lang.Boolean>> assignments)
void	ReasonerBenchmark.testAllInDirectory(AbstractDialecticalFrameworkReasoner reasoner, java.lang.String semantics, java.io.File dir, java.util.concurrent.ExecutorService executor)
void	ReasonerBenchmark.testAllInDirectoryAsync(AbstractDialecticalFrameworkReasoner reasoner, java.lang.String semantics, java.io.File dir, java.util.concurrent.ExecutorService executor)
BenchmarkResult	ReasonerBenchmark.testSingle(AbstractDialecticalFrameworkReasoner reasoner, java.lang.String semantics, java.io.File f, java.util.concurrent.ExecutorService executor)
void	ReasonerBenchmark.testSingleAsync(AbstractDialecticalFrameworkReasoner reasoner, java.lang.String semantics, java.io.File f, java.util.concurrent.ExecutorService executor)