Package org.tweetyproject.lp.asp.analysis

Class ClingoTest

java.lang.Object

org.tweetyproject.lp.asp.analysis.ClingoTest

public class ClingoTest
extends Object

Test class for Clingo.

Author:

Nils Geilen <geilenn@uni-koblenz.de>, Anna Gessler

Constructor Summary

Constructors

Constructor	Description
ClingoTest()

Method Summary

Modifier and Type	Method	Description
void	BasicExampleTest1()
void	BasicExampleTest2()
void	BasicExampleTest3()
void	BasicExampleTest4()
static void	init()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

ClingoTest

public ClingoTest()

Method Details

init

public static void init()

BasicExampleTest1

public void BasicExampleTest1()
                       throws Exception

Throws:

Exception

BasicExampleTest2

public void BasicExampleTest2()
                       throws Exception

Throws:

Exception

BasicExampleTest3

public void BasicExampleTest3()
                       throws Exception

Throws:

Exception

BasicExampleTest4

public void BasicExampleTest4()
                       throws Exception

Throws:

Exception