Class ASPNLPTranslatorTest
- java.lang.Object
-
- net.sf.tweety.logics.translators.aspnlp.ASPNLPTranslatorTest
-
public class ASPNLPTranslatorTest extends java.lang.Object
-
-
Constructor Summary
Constructors Constructor Description ASPNLPTranslatorTest()
-
Method Summary
Modifier and Type Method Description void
translateTwoDisjunctions()
-