public class FolLanguageNoQuantifiersNoFunctions extends FolLanguageNoQuantifiers
Constructor and Description |
---|
FolLanguageNoQuantifiersNoFunctions(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 FolLanguageNoQuantifiersNoFunctions(Signature signature)
signature
- a signature.public boolean isRepresentable(Formula formula)
Language
isRepresentable
in class FolLanguageNoQuantifiers
formula
- the formula to be checked