Package org.tweetyproject.arg.aspic.examples

Class DirectionalReasonerTest

java.lang.Object

org.tweetyproject.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

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

Constructor Details

DirectionalReasonerTest

public DirectionalReasonerTest()

Method Details

main

public static void main(String[] args)

Parameters:

args - args

runWithTimeout

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

Type Parameters:

T - some callable object

Parameters:

callable - callable object

timeout - timeout for runtime

timeUnit - unit for timeout

Returns:

directional reasoner result

Throws:

Exception - exception