ClingoTest

java.lang.Object

org.tweetyproject.lp.asp.analysis.ClingoTest

public class ClingoTest extends Object

Test class for Clingo.

Author:: Nils Geilen geilenn(at)uni-koblenz.de, Anna Gessler

Constructor Summary

Constructors

Constructor

Description

ClingoTest()
Method Summary

Modifier and Type

Method

Description

void

BasicExampleTest1()

basic test 1

void

BasicExampleTest2()

basic test 2

void

BasicExampleTest3()

basic example 3

void

BasicExampleTest4()

basic test 4

static void

init()

initializes values

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()
  
  initializes values
- BasicExampleTest1
  
  public void BasicExampleTest1() throws Exception
  
  basic test 1
  
  Throws:
  
  Exception - any exception
- BasicExampleTest2
  
  public void BasicExampleTest2() throws Exception
  
  basic test 2
  
  Throws:
  
  Exception - any exception
- BasicExampleTest3
  
  public void BasicExampleTest3() throws Exception
  
  basic example 3
  
  Throws:
  
  Exception - any exception
- BasicExampleTest4
  
  public void BasicExampleTest4() throws Exception
  
  basic test 4
  
  Throws:
  
  Exception - any exception