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