Package | Description |
---|---|
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.
|