Uses of Class
net.sf.tweety.logics.fol.lang.FolLanguage

Packages that use FolLanguage

Package	Description
net.sf.tweety.logics.fol.lang

Uses of FolLanguage in net.sf.tweety.logics.fol.lang

Subclasses of FolLanguage in net.sf.tweety.logics.fol.lang

Modifier and Type	Class and Description
class	FolLanguageNoFunctions This class models a first-order language without functions.
class	FolLanguageNoFunctionsOnlyBeginForall This class models a first-order language without functions and there may be only forall-quantifiers at the beginning of the formula.
class	FolLanguageNoQuantifiers This class models a first-order language without quantifiers.
class	FolLanguageNoQuantifiersNoFunctions This class models a first-order language without quantifiers and without functions.
class	FolLanguagePropositional This class represents a classical propositional language, i.e.