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
Class | Description |
---|---|
FOLPropTranslator |
A Translator between the FOL and propositonal logic and vice versa.
|
TranslateTest |
Tests the FOLPropTranslator
|