net.sf.tweety.logics.fol.lang
Classes
FolLanguage
FolLanguageNoFunctions
FolLanguageNoFunctionsOnlyBeginForall
FolLanguageNoQuantifiers
FolLanguageNoQuantifiersNoFunctions
FolLanguagePropositional