Class ClingoTest


  • public class ClingoTest
    extends java.lang.Object
    Test class for Clingo.
    Author:
    Nils Geilen
    • Constructor Summary

      Constructors 
      Constructor Description
      ClingoTest()  
    • 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