net.sf.tweety.logics.fol.lang

Class FolLanguageNoQuantifiersNoFunctions

java.lang.Object

net.sf.tweety.commons.Language

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

net.sf.tweety.logics.fol.lang.FolLanguageNoQuantifiers

net.sf.tweety.logics.fol.lang.FolLanguageNoQuantifiersNoFunctions

public class FolLanguageNoQuantifiersNoFunctions
extends FolLanguageNoQuantifiers

This class models a first-order language without quantifiers and without functions.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor and Description
FolLanguageNoQuantifiersNoFunctions(net.sf.tweety.commons.Signature signature) Creates a new language on the given signature.

Method Summary

Modifier and Type	Method and Description
boolean	isRepresentable(net.sf.tweety.commons.Formula formula)

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

FolLanguageNoQuantifiersNoFunctions

public FolLanguageNoQuantifiersNoFunctions(net.sf.tweety.commons.Signature signature)

Creates a new language on the given signature.

Parameters:

signature - a signature.

Method Detail

isRepresentable

public boolean isRepresentable(net.sf.tweety.commons.Formula formula)

Overrides:

isRepresentable in class FolLanguageNoQuantifiers