DLVTest

java.lang.Object

org.tweetyproject.lp.asp.analysis.DLVTest

public class DLVTest extends Object

Test class for DLV.

Author:: Nils Geilen <geilenn@uni-koblenz.de>, Anna Gessler

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

Constructor Details
- DLVTest
  
  public DLVTest()
Method Details
- init
  
  public static void init()
- Example1
  
  public void Example1() throws Exception
  
  Throws:
  
  Exception
- Example2
  
  public void Example2() throws Exception
  
  Throws:
  
  Exception
- Example4
  
  public void Example4() throws Exception
  
  Throws:
  
  Exception