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
|