DLVTest

java.lang.Object

org.tweetyproject.lp.asp.analysis.DLVTest

public class DLVTest extends Object

Test class for DLV.

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

Constructor Summary

Constructors

Constructor

Description

DLVTest()
Method Summary

Modifier and Type

Method

Description

void

Example1()

example 1

void

Example2()

ex 2

void

Example4()

ex 4

static void

init()

initialzes values

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details
- DLVTest
  
  public DLVTest()
Method Details
- init
  
  public static void init()
  
  initialzes values
- Example1
  
  public void Example1() throws Exception
  
  example 1
  
  Throws:
  
  Exception - any exception
- Example2
  
  public void Example2() throws Exception
  
  ex 2
  
  Throws:
  
  Exception - any exception
- Example4
  
  public void Example4() throws Exception
  
  ex 4
  
  Throws:
  
  Exception - any exception