DLVTest

java.lang.Object
- net.sf.tweety.lp.asp.analysis.DLVTest

```
public class DLVTest
extends java.lang.Object
```
Test class for DLV.

Author:

Nils Geilen , Anna Gessler

Field Summary

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

Constructor Summary

Constructors
Constructor Description

DLVTest()

Method Summary

Modifier and Type Method Description

void Example1()

void Example2()

void Example4()

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 DLVSolver solver
```

Constructor Detail
- DLVTest
```
public DLVTest()
```

Method Detail

init
```
public static void init()
```

Example1

public void Example1()
              throws java.lang.Exception

Throws:: java.lang.Exception

Example2

public void Example2()
              throws java.lang.Exception

Throws:: java.lang.Exception

Example4

public void Example4()
              throws java.lang.Exception

Throws:: java.lang.Exception