net.sf.tweety.commons

Class AbstractInterpretation

java.lang.Object

net.sf.tweety.commons.AbstractInterpretation

All Implemented Interfaces:

Interpretation

Direct Known Subclasses:

AbstractArgumentationInterpretation, FuzzyInterpretation, InterpretationSet, KripkeModel, LdoInterpretation, PriestWorld, ProbabilityDistribution, RankingFunction, ReferenceWorld, RelationalRankingFunction, SocialMapping, StratifiedLabeling

public abstract class AbstractInterpretation
extends java.lang.Object
implements Interpretation

An abstract interpretation for some logical language.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor and Description
AbstractInterpretation()

Method Summary

Modifier and Type	Method and Description
boolean	satisfies(java.util.Collection<? extends Formula> formulas) Checks whether this interpretation satisfies all given formulas.

Methods inherited from class java.lang.Object

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

Methods inherited from interface net.sf.tweety.commons.Interpretation

satisfies, satisfies

Constructor Detail

AbstractInterpretation

public AbstractInterpretation()

Method Detail

satisfies

public boolean satisfies(java.util.Collection<? extends Formula> formulas)
                  throws java.lang.IllegalArgumentException

Checks whether this interpretation satisfies all given formulas.

Specified by:

satisfies in interface Interpretation

Parameters:

formulas - a collection of formulas.

Returns:

"true" if this interpretation satisfies all given formulas.

Throws:

java.lang.IllegalArgumentException - if at least one formula does not correspond to the expected language.