Package net.sf.tweety.logics.translators.folprop

Class Summary

Class	Description
FOLPropTranslator	A Translator between the FOL and propositonal logic and vice versa.
TranslateTest	Tests the FOLPropTranslator