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