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

Field Summary

Fields
Modifier and Type	Field	Description
`(package private) static ASPCore2Parser`	`parser`
`(package private) static ClingoSolver`	`solver`
`(package private) static InstantiateVisitor`	`visitor`

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
  clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

parser
```
static ASPCore2Parser parser
```

visitor
```
static InstantiateVisitor visitor
```

solver
```
static ClingoSolver solver
```

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