Class NaiveLiteralTransformationFunctionTest

java.lang.Object
org.tweetyproject.lp.asp.beliefdynamics.NaiveLiteralTransformationFunctionTest

public class NaiveLiteralTransformationFunctionTest extends Object
  • Constructor Details

    • NaiveLiteralTransformationFunctionTest

      public NaiveLiteralTransformationFunctionTest()
  • Method Details

    • testFailsWeakMaximality

      public void testFailsWeakMaximality()