Package org.tweetyproject.logics.rdl.examples

Class RdlExample

java.lang.Object

org.tweetyproject.logics.rdl.examples.RdlExample

public class RdlExample
extends Object

Example code illustrating Reiter's default logic.

Author:

Nils Geilen

Constructor Summary

Constructors

Constructor	Description
RdlExample()	Default Constructor

Method Summary

Modifier and Type	Method	Description
static void	main(String[] args)	Testing methods

Methods inherited from class java.lang.Object

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

Constructor Details

RdlExample

public RdlExample()

Default Constructor

Method Details

main

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

Testing methods

Parameters:

args - the args

Throws:

Exception - error