Package org.tweetyproject.logics.translators.aspfol

Class ASPFOLTranslatorTest

java.lang.Object

org.tweetyproject.logics.translators.aspfol.ASPFOLTranslatorTest

public class ASPFOLTranslatorTest
extends Object

Constructor Summary

Constructors

Constructor	Description
ASPFOLTranslatorTest()

Method Summary

Modifier and Type	Method	Description
void	DisjunctionToHead()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

ASPFOLTranslatorTest

public ASPFOLTranslatorTest()

Method Details

DisjunctionToHead

public void DisjunctionToHead()