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

Class ReasonerBenchmark

java.lang.Object

net.sf.tweety.arg.adf.reasoner.test.ReasonerBenchmark

public class ReasonerBenchmark
extends java.lang.Object

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
private class	ReasonerBenchmark.LazyModelStorage

Field Summary

Fields

Modifier and Type	Field	Description
static java.lang.String[]	ALL_SEMANTICS
private static java.util.concurrent.ExecutorService	DEFAULT_EXECUTOR_SERVICE
private ReasonerBenchmark.LazyModelStorage	modelStorage
private KPPADFFormatParser	parser
private static IncrementalSatSolver	satSolver

Constructor Summary

Constructors

Constructor	Description
ReasonerBenchmark()

Method Summary

Modifier and Type	Method	Description
BenchmarkResult	handleException(java.lang.Throwable th)
static void	main(java.lang.String[] args)
void	printResults(java.io.File file, BenchmarkResult result, java.io.PrintStream out)
BenchmarkResult	runBenchmark(AbstractDialecticalFramework adf, AbstractDialecticalFrameworkReasoner reasoner, java.util.List<java.util.Map<java.lang.String,java.lang.Boolean>> assignments)
void	testAdmissibleInterpretationSemantics()
void	testAllInDirectory(AbstractDialecticalFrameworkReasoner reasoner, java.lang.String semantics, java.io.File dir, java.util.concurrent.ExecutorService executor)
void	testModelSemantics()
void	testNaiveInterpretationSemantics()
void	testSingle(AbstractDialecticalFrameworkReasoner reasoner, java.lang.String semantics, java.io.File f, java.util.concurrent.ExecutorService executor)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

ALL_SEMANTICS

public static final java.lang.String[] ALL_SEMANTICS

parser

private KPPADFFormatParser parser

satSolver

private static IncrementalSatSolver satSolver

modelStorage

private ReasonerBenchmark.LazyModelStorage modelStorage

DEFAULT_EXECUTOR_SERVICE

private static final java.util.concurrent.ExecutorService DEFAULT_EXECUTOR_SERVICE

Constructor Detail

ReasonerBenchmark

public ReasonerBenchmark()

Method Detail

testAllInDirectory

public void testAllInDirectory(AbstractDialecticalFrameworkReasoner reasoner,
                               java.lang.String semantics,
                               java.io.File dir,
                               java.util.concurrent.ExecutorService executor)
                        throws java.io.IOException

Throws:

java.io.IOException

testSingle

public void testSingle(AbstractDialecticalFrameworkReasoner reasoner,
                       java.lang.String semantics,
                       java.io.File f,
                       java.util.concurrent.ExecutorService executor)
                throws java.io.IOException

Throws:

java.io.IOException

handleException

public BenchmarkResult handleException(java.lang.Throwable th)

printResults

public void printResults(java.io.File file,
                         BenchmarkResult result,
                         java.io.PrintStream out)

runBenchmark

public BenchmarkResult runBenchmark(AbstractDialecticalFramework adf,
                                    AbstractDialecticalFrameworkReasoner reasoner,
                                    java.util.List<java.util.Map<java.lang.String,java.lang.Boolean>> assignments)

testAdmissibleInterpretationSemantics

public void testAdmissibleInterpretationSemantics()
                                           throws java.io.IOException

Throws:

java.io.IOException

testNaiveInterpretationSemantics

public void testNaiveInterpretationSemantics()
                                      throws java.io.IOException

Throws:

java.io.IOException

testModelSemantics

public void testModelSemantics()
                        throws java.io.IOException

Throws:

java.io.IOException

main

public static void main(java.lang.String[] args)
                 throws java.io.FileNotFoundException,
                        ParserException,
                        java.io.IOException

Throws:

java.io.FileNotFoundException

ParserException

java.io.IOException