Package net.sf.tweety.lp.asp.analysis
Class DLVTest
- java.lang.Object
-
- net.sf.tweety.lp.asp.analysis.DLVTest
-
public class DLVTest extends java.lang.Object
Test class for DLV.- Author:
- Nils Geilen
, Anna Gessler
-
-
Constructor Summary
Constructors Constructor Description DLVTest()
-
-
-
Method Detail
-
init
public static void init()
-
Example1
public void Example1() throws java.lang.Exception
- Throws:
java.lang.Exception
-
Example2
public void Example2() throws java.lang.Exception
- Throws:
java.lang.Exception
-
Example4
public void Example4() throws java.lang.Exception
- Throws:
java.lang.Exception
-
-