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
-
-
Constructor Summary
Constructors Constructor Description ClingoTest()
-
Method Summary
Modifier and Type Method Description void
BasicExampleTest1()
void
BasicExampleTest2()
void
BasicExampleTest3()
void
BasicExampleTest4()
static void
init()
-
-
-
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
-
-