Uses of Package
net.sf.tweety.logics.fol.lang

Packages that use net.sf.tweety.logics.fol.lang

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

Classes in net.sf.tweety.logics.fol.lang used by net.sf.tweety.logics.fol.lang

Class and Description
FolLanguage This class models a first-order language for a given signature.
FolLanguageNoFunctions This class models a first-order language without functions.
FolLanguageNoQuantifiers This class models a first-order language without quantifiers.