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