Package org.tweetyproject.logics.translators.folprop

package org.tweetyproject.logics.translators.folprop
  • Class Summary
    Class
    Description
    FOLPropTranslator
    A Translator between the FOL and propositonal logic and vice versa.
    TranslateTest
    Tests the FOLPropTranslator