Uses of Class
net.sf.tweety.arg.adf.reasoner.AbstractDialecticalFrameworkReasoner
-
Packages that use AbstractDialecticalFrameworkReasoner Package Description net.sf.tweety.arg.adf.reasoner net.sf.tweety.arg.adf.reasoner.test -
-
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
AdmissibleInterpretationReasoner
class
NaiveInterpretationReasoner
class
SatModelReasoner
-
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.List<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. testSingle(AbstractDialecticalFrameworkReasoner reasoner, java.lang.String semantics, java.io.File f, java.util.concurrent.ExecutorService executor)
-