Package org.tweetyproject.logics.translators.aspnlp

Class ASPNLPTranslatorTest

java.lang.Object

org.tweetyproject.logics.translators.aspnlp.ASPNLPTranslatorTest

public class ASPNLPTranslatorTest
extends Object

Constructor Summary

Constructors

Constructor	Description
ASPNLPTranslatorTest()

Method Summary

Modifier and Type	Method	Description
void	translateTwoDisjunctions()

Methods inherited from class java.lang.Object

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

Constructor Details

ASPNLPTranslatorTest

public ASPNLPTranslatorTest()

Method Details

translateTwoDisjunctions

public void translateTwoDisjunctions()