Class ClingoTest
java.lang.Object
org.tweetyproject.lp.asp.analysis.ClingoTest
Test class for Clingo.
- Author:
- Nils Geilen geilenn(at)uni-koblenz.de, Anna Gessler
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionvoid
basic test 1void
basic test 2void
basic example 3void
basic test 4static void
init()
initializes values
-
Constructor Details
-
ClingoTest
public ClingoTest()
-
-
Method Details
-
init
public static void init()initializes values -
BasicExampleTest1
basic test 1- Throws:
Exception
- any exception
-
BasicExampleTest2
basic test 2- Throws:
Exception
- any exception
-
BasicExampleTest3
basic example 3- Throws:
Exception
- any exception
-
BasicExampleTest4
basic test 4- Throws:
Exception
- any exception
-