Package | Description |
---|---|
net.sf.tweety.logics.fol.lang | |
net.sf.tweety.logics.pl.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.
|
Modifier and Type | Class and Description |
---|---|
class |
PropositionalLanguage
This class models a propositional language for a given signature.
|