Class TranslateTest

java.lang.Object
org.tweetyproject.logics.translators.folprop.TranslateTest

public class TranslateTest extends Object
Tests the FOLPropTranslator
Author:
Tim Janus