Package org.tweetyproject.logics.translators


package org.tweetyproject.logics.translators
  • Class Summary
    Class
    Description
    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.