Class ASPFOLTranslatorTest

java.lang.Object
org.tweetyproject.logics.translators.aspfol.ASPFOLTranslatorTest

public class ASPFOLTranslatorTest extends Object
  • Constructor Details

    • ASPFOLTranslatorTest

      public ASPFOLTranslatorTest()
  • Method Details

    • DisjunctionToHead

      public void DisjunctionToHead()