Package net.sf.tweety.logics.rdl.examples

Class RdlExample

java.lang.Object

net.sf.tweety.logics.rdl.examples.RdlExample

public class RdlExample
extends java.lang.Object

RDL Test

Author:

Nils Geilen

Constructor Summary

Constructors

Constructor	Description
RdlExample()

Method Summary

Modifier and Type	Method	Description
(package private) static java.util.List<DefaultRule>	createTestSet(RdlParser parser, java.lang.String... list)
(package private) static void	defaultRuleTest()
(package private) static void	extensionTest()
static void	main(java.lang.String[] args)
(package private) static void	parserTest()
(package private) static void	processTreeTest()
(package private) static void	sequenceTest()

Methods inherited from class java.lang.Object

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

Constructor Detail

RdlExample

public RdlExample()

Method Detail

createTestSet

static java.util.List<DefaultRule> createTestSet(RdlParser parser,
                                                 java.lang.String... list)
                                          throws java.lang.Exception

Throws:

java.lang.Exception

defaultRuleTest

static void defaultRuleTest()
                     throws java.lang.Exception

Throws:

java.lang.Exception

parserTest

static void parserTest()
                throws java.lang.Exception

Throws:

java.lang.Exception

sequenceTest

static void sequenceTest()
                  throws java.lang.Exception

Throws:

java.lang.Exception

processTreeTest

static void processTreeTest()
                     throws java.lang.Exception

Throws:

java.lang.Exception

extensionTest

static void extensionTest()
                   throws java.lang.Exception

Throws:

java.lang.Exception

main

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

Throws:

java.lang.Exception