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