Package net.sf.tweety.lp.asp.analysis
Class ClingoTest
- java.lang.Object
-
- net.sf.tweety.lp.asp.analysis.ClingoTest
-
public class ClingoTest extends java.lang.Object
Test class for Clingo.- Author:
- Nils Geilen
-
-
Field Summary
Fields Modifier and Type Field Description (package private) static ASPCore2Parser
parser
(package private) static ClingoSolver
solver
(package private) static InstantiateVisitor
visitor
-
Constructor Summary
Constructors Constructor Description ClingoTest()
-
Method Summary
Modifier and Type Method Description void
BasicExampleTest1()
void
BasicExampleTest2()
void
BasicExampleTest3()
void
BasicExampleTest4()
static void
init()
-
-
-
Field Detail
-
parser
static ASPCore2Parser parser
-
visitor
static InstantiateVisitor visitor
-
solver
static ClingoSolver solver
-
-
Method Detail
-
init
public static void init()
-
BasicExampleTest1
public void BasicExampleTest1() throws java.lang.Exception
- Throws:
java.lang.Exception
-
BasicExampleTest2
public void BasicExampleTest2() throws java.lang.Exception
- Throws:
java.lang.Exception
-
BasicExampleTest3
public void BasicExampleTest3() throws java.lang.Exception
- Throws:
java.lang.Exception
-
BasicExampleTest4
public void BasicExampleTest4() throws java.lang.Exception
- Throws:
java.lang.Exception
-
-