net.sf.tweety.logics.fol.lang

Class FolLanguageNoFunctionsOnlyBeginForall

java.lang.Object

net.sf.tweety.commons.Language

net.sf.tweety.logics.fol.lang.FolLanguage

net.sf.tweety.logics.fol.lang.FolLanguageNoFunctions

net.sf.tweety.logics.fol.lang.FolLanguageNoFunctionsOnlyBeginForall

public class FolLanguageNoFunctionsOnlyBeginForall
extends FolLanguageNoFunctions

This class models a first-order language without functions and there may be only forall-quantifiers at the beginning of the formula.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor and Description
FolLanguageNoFunctionsOnlyBeginForall(Signature signature) Creates a new language on the given signature.

Method Summary

Modifier and Type	Method and Description
boolean	isRepresentable(Formula formula) Checks whether the given formula is representable in this language.

Methods inherited from class net.sf.tweety.logics.fol.lang.FolLanguage

isRepresentable

Methods inherited from class net.sf.tweety.commons.Language

getSignature

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

FolLanguageNoFunctionsOnlyBeginForall

public FolLanguageNoFunctionsOnlyBeginForall(Signature signature)

Creates a new language on the given signature.

Parameters:

signature - a signature.

Method Detail

isRepresentable

public boolean isRepresentable(Formula formula)

Description copied from class: Language

Checks whether the given formula is representable in this language.

Overrides:

isRepresentable in class FolLanguageNoFunctions

Parameters:

formula - the formula to be checked

Returns:

"true" if the formula is representable in this language.