net.sf.tweety.logics.pl.lang

Class PropositionalLanguage

java.lang.Object

net.sf.tweety.commons.Language

net.sf.tweety.logics.pl.lang.PropositionalLanguage

public class PropositionalLanguage
extends Language

This class models a propositional language for a given signature.

Author:

mthimm

Constructor Summary

Constructors

Constructor and Description
PropositionalLanguage(Signature signature) Creates a new language on the given first-order signature.

Method Summary

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

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

PropositionalLanguage

public PropositionalLanguage(Signature signature)

Creates a new language on the given first-order signature.

Parameters:

signature - a first-order signature.

Method Detail

isRepresentable

public boolean isRepresentable(Formula formula)

Description copied from class: Language

Checks whether the given formula is representable in this language.

Specified by:

isRepresentable in class Language

Parameters:

formula - the formula to be checked

Returns:

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

isRepresentable

public boolean isRepresentable(BeliefBase beliefBase)

Description copied from class: Language

Checks whether the given knowledge base is representable in this language.

Specified by:

isRepresentable in class Language

Parameters:

beliefBase - the knowledge base to be checked

Returns:

"true" if the knowledge base is representable in this language.