Class ASPNLPTranslatorTest

java.lang.Object
org.tweetyproject.logics.translators.aspnlp.ASPNLPTranslatorTest

public class ASPNLPTranslatorTest extends Object
  • Constructor Details

    • ASPNLPTranslatorTest

      public ASPNLPTranslatorTest()
  • Method Details

    • translateTwoDisjunctions

      public void translateTwoDisjunctions()