Uses of Class
net.sf.tweety.commons.Language

Packages that use Language

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

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

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

Modifier and Type	Class and Description
class	FolLanguage This class models a first-order language for a given signature.
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.

Uses of Language in net.sf.tweety.logics.pl.lang

Subclasses of Language in net.sf.tweety.logics.pl.lang

Modifier and Type	Class and Description
class	PropositionalLanguage This class models a propositional language for a given signature.