Class LingelingTest

java.lang.Object
org.tweetyproject.sat.test.LingelingTest

public class LingelingTest extends Object
  • Constructor Details

    • LingelingTest

      public LingelingTest()
  • Method Details

    • setup

      public void setup()
    • tearDown

      public void tearDown()
    • taut1

      public void taut1()
    • unsat1

      public void unsat1()
    • sat1

      public void sat1()