net.sf.tweety.logics.translators.aspfol

Class ASPFOLTranslatorTest

java.lang.Object

net.sf.tweety.logics.translators.aspfol.ASPFOLTranslatorTest

public class ASPFOLTranslatorTest
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
ASPFOLTranslatorTest()

Method Summary

Modifier and Type	Method and Description
void	DisjunctionToHead()

Methods inherited from class java.lang.Object

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

Constructor Detail

ASPFOLTranslatorTest

public ASPFOLTranslatorTest()

Method Detail

DisjunctionToHead

public void DisjunctionToHead()