Package org.tweetyproject.logics.cl.examples

Class ReasonerExample

java.lang.Object

org.tweetyproject.logics.cl.examples.ReasonerExample

public class ReasonerExample
extends Object

Compares reasoning with different reasoners.

Constructor Summary

Constructors

Constructor	Description
ReasonerExample()	Creates the example application.

Method Summary

Modifier and Type	Method	Description
static void	main(String[] args)	Runs the example application.

Methods inherited from class java.lang.Object

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

Constructor Details

ReasonerExample

public ReasonerExample()

Creates the example application.

Method Details

main

public static void main(String[] args)
                 throws IOException

Runs the example application.

Parameters:

args - the command-line arguments

Throws:

IOException - if reading from standard input fails