Class ClingoTest

java.lang.Object
org.tweetyproject.lp.asp.analysis.ClingoTest
public class ClingoTest extends Object
Test class for Clingo.
Author:
Nils Geilen geilenn(at)uni-koblenz.de, Anna Gessler

  • Constructor Details

    • ClingoTest

      public ClingoTest()

  • Method Details

    • init

      public static void init()
      initializes values

    • BasicExampleTest1

      public void BasicExampleTest1() throws Exception
      basic test 1
      Throws:
      Exception - any exception

    • BasicExampleTest2

      public void BasicExampleTest2() throws Exception
      basic test 2
      Throws:
      Exception - any exception

    • BasicExampleTest3

      public void BasicExampleTest3() throws Exception
      basic example 3
      Throws:
      Exception - any exception

    • BasicExampleTest4

      public void BasicExampleTest4() throws Exception
      basic test 4
      Throws:
      Exception - any exception