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