Package org.tweetyproject.commons

Class AbstractInterpretation<B extends BeliefBase,S extends Formula>

java.lang.Object

org.tweetyproject.commons.AbstractInterpretation<B,S>

Type Parameters:

B - the type of belief bases

S - the type of formulas

All Implemented Interfaces:

Interpretation<B,S>

Direct Known Subclasses:

AbaExtension, AbstractArgumentationInterpretation, ClaimSet, Extension, FourValuedWorld, FuzzyInterpretation, GeneralComparator, InterpretationSet, KripkeModel, LdoInterpretation, PriestWorld, PriestWorldAdapted, ProbabilityDistribution, RankingFunction, RankingFunctionThreeValued, ReferenceWorld, RelationalRankingFunction, RpclProbabilityDistribution, SocialMapping, StratifiedLabeling, ThreeValuedWorld

public abstract class AbstractInterpretation<B extends BeliefBase,S extends Formula>
extends Object
implements Interpretation<B,S>

An abstract interpretation for some logical language.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor	Description
AbstractInterpretation()	Default Constructor

Method Summary

Modifier and Type	Method	Description
boolean	satisfies(Collection<S> formulas)	Checks whether this interpretation satisfies all given formulas.

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.tweetyproject.commons.Interpretation

satisfies, satisfies

Constructor Details

AbstractInterpretation

public AbstractInterpretation()

Default Constructor

Method Details

satisfies

public boolean satisfies(Collection<S> formulas)
                  throws IllegalArgumentException

Checks whether this interpretation satisfies all given formulas.

Specified by:

satisfies in interface Interpretation<B extends BeliefBase,S extends Formula>

Parameters:

formulas - a collection of formulas.

Returns:

"true" if this interpretation satisfies all given formulas.

Throws:

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