Package net.sf.tweety.logics.translators

Class Summary

Class	Description
Translator	Allows translation between different logic languages, sub classes have to implement the translation between complex formulas but this base class provides methods to translate, predicates, Atoms, Associative formulas and Rules.