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

Class DirectionalReasonerTest

java.lang.Object

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

public class DirectionalReasonerTest
extends 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(String[] args)
static <T> T	runWithTimeout(Callable<T> callable, long timeout, TimeUnit timeUnit)

Methods inherited from class java.lang.Object

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

Constructor Detail

DirectionalReasonerTest

public DirectionalReasonerTest()

Method Detail

main

public static void main(String[] args)

runWithTimeout

public static <T> T runWithTimeout(Callable<T> callable,
                                   long timeout,
                                   TimeUnit timeUnit)
                            throws Exception

Throws:

Exception