net.sf.tweety.logics.translators.aspnlp

Class ASPNLPTranslatorTest

java.lang.Object

net.sf.tweety.logics.translators.aspnlp.ASPNLPTranslatorTest

public class ASPNLPTranslatorTest
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
ASPNLPTranslatorTest()

Method Summary

Modifier and Type	Method and Description
void	translateTwoDisjunctions()

Methods inherited from class java.lang.Object

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

Constructor Detail

ASPNLPTranslatorTest

public ASPNLPTranslatorTest()

Method Detail

translateTwoDisjunctions

public void translateTwoDisjunctions()