ClingoTest

java.lang.Object
- org.tweetyproject.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()
  - Methods inherited from class java.lang.Object
    equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail
- ClingoTest
```
public ClingoTest()
```

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