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)
-