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 static 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.Set<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	testAllInDirectoryAsync(AbstractDialecticalFrameworkReasoner reasoner, java.lang.String semantics, java.io.File dir, java.util.concurrent.ExecutorService executor)
void	testCompleteInterpretationSemantics()
void	testGroundInterpretationSemantics()
void	testModelSemantics()
void	testNaiveInterpretationSemantics()
void	testPreferredInterpretationSemantics()
BenchmarkResult	testSingle(AbstractDialecticalFrameworkReasoner reasoner, java.lang.String semantics, java.io.File f, java.util.concurrent.ExecutorService executor)
void	testSingleAsync(AbstractDialecticalFrameworkReasoner reasoner, java.lang.String semantics, java.io.File f, java.util.concurrent.ExecutorService executor)
void	testStableModelSemantics()
private java.util.Map<java.lang.String,java.lang.Boolean>	toMap(Interpretation interpretation)

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

testAllInDirectoryAsync

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

Throws:

java.io.IOException

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

testSingleAsync

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

Throws:

java.io.IOException

testSingle

public BenchmarkResult 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.Set<java.util.Map<java.lang.String,java.lang.Boolean>> assignments)

toMap

private java.util.Map<java.lang.String,java.lang.Boolean> toMap(Interpretation interpretation)

testAdmissibleInterpretationSemantics

public void testAdmissibleInterpretationSemantics()
                                           throws java.io.IOException

Throws:

java.io.IOException

testNaiveInterpretationSemantics

public void testNaiveInterpretationSemantics()
                                      throws java.io.IOException

Throws:

java.io.IOException

testPreferredInterpretationSemantics

public void testPreferredInterpretationSemantics()
                                          throws java.io.IOException

Throws:

java.io.IOException

testCompleteInterpretationSemantics

public void testCompleteInterpretationSemantics()
                                         throws java.io.IOException

Throws:

java.io.IOException

testGroundInterpretationSemantics

public void testGroundInterpretationSemantics()
                                       throws java.io.IOException

Throws:

java.io.IOException

testModelSemantics

public void testModelSemantics()
                        throws java.io.IOException

Throws:

java.io.IOException

testStableModelSemantics

public void testStableModelSemantics()
                              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