net.sf.tweety.commons

Class AbstractInterpretation<B extends BeliefBase,S extends Formula>

java.lang.Object

net.sf.tweety.commons.AbstractInterpretation<B,S>

All Implemented Interfaces:

Interpretation<B,S>

Direct Known Subclasses:

InterpretationSet

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 and Description
AbstractInterpretation()

Method Summary

Modifier and Type	Method and Description
boolean	satisfies(Collection<S> 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(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.