public class FolLanguage extends Language
Constructor and Description |
---|
FolLanguage(Signature signature)
Creates a new language on the given first-order signature.
|
Modifier and Type | Method and Description |
---|---|
boolean |
isRepresentable(BeliefBase beliefBase)
Checks whether the given knowledge base is representable in this language.
|
boolean |
isRepresentable(Formula formula)
Checks whether the given formula is representable in this language.
|
getSignature
public FolLanguage(Signature signature)
signature
- a first-order signature.public boolean isRepresentable(Formula formula)
Language
isRepresentable
in class Language
formula
- the formula to be checkedpublic boolean isRepresentable(BeliefBase beliefBase)
Language
isRepresentable
in class Language
beliefBase
- the knowledge base to be checked