Package net.sf.tweety.logics.rdl.test
Class RDLJUnitTest
- java.lang.Object
-
- net.sf.tweety.logics.rdl.test.RDLJUnitTest
-
public class RDLJUnitTest extends java.lang.Object
- Author:
- Nils Geilen
-
-
Constructor Summary
Constructors Constructor Description RDLJUnitTest()
-
-
-
Method Detail
-
init
public void init()
-
test1
public void test1() throws java.lang.Exception
- Throws:
java.lang.Exception
-
test2
public void test2() throws java.lang.Exception
- Throws:
java.lang.Exception
-
test3
public void test3() throws java.lang.Exception
- Throws:
java.lang.Exception
-
test4
public void test4() throws java.lang.Exception
- Throws:
java.lang.Exception
-
test5
public void test5() throws java.lang.Exception
- Throws:
java.lang.Exception
-
-