Package net.sf.tweety.arg.aspic.examples

Class DirectionalReasonerTest

java.lang.Object

net.sf.tweety.arg.aspic.examples.DirectionalReasonerTest

public class DirectionalReasonerTest
extends java.lang.Object

Test runtime of module-based vs. directional reasoners. Also checks if they give the same answers

Author:

Tjitze Rienstra

Constructor Summary

Constructors

Constructor	Description
DirectionalReasonerTest()

Method Summary

Modifier and Type	Method	Description
static void	main(java.lang.String[] args)
static <T> T	runWithTimeout(java.util.concurrent.Callable<T> callable, long timeout, java.util.concurrent.TimeUnit timeUnit)

Methods inherited from class java.lang.Object

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

Constructor Detail

DirectionalReasonerTest

public DirectionalReasonerTest()

Method Detail

main

public static void main(java.lang.String[] args)

runWithTimeout

public static <T> T runWithTimeout(java.util.concurrent.Callable<T> callable,
                                   long timeout,
                                   java.util.concurrent.TimeUnit timeUnit)
                            throws java.lang.Exception

Throws:

java.lang.Exception