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
-
-
Field Summary
Fields Modifier and Type Field Description (package private) static ASPCore2Parser
parser
(package private) static DLVSolver
solver
(package private) static InstantiateVisitor
visitor
-
Constructor Summary
Constructors Constructor Description DLVTest()
-
-
-
Field Detail
-
parser
static ASPCore2Parser parser
-
visitor
static InstantiateVisitor visitor
-
solver
static DLVSolver solver
-
-
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
-
-