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

Packages that use FolLanguageNoFunctions

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

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

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

Modifier and Type	Class and Description
class	FolLanguageNoFunctionsOnlyBeginForall This class models a first-order language without functions and there may be only forall-quantifiers at the beginning of the formula.