Package net.sf.tweety.commons
Class AbstractInterpretation<B extends BeliefBase,S extends Formula>
- java.lang.Object
-
- net.sf.tweety.commons.AbstractInterpretation<B,S>
-
- Type Parameters:
B
- the type of belief basesS
- the type of formulas
- All Implemented Interfaces:
Interpretation<B,S>
- Direct Known Subclasses:
AbaExtension
,AbstractArgumentationInterpretation
,Extension
,FuzzyInterpretation
,InterpretationSet
,KripkeModel
,LdoInterpretation
,PriestWorld
,ProbabilityDistribution
,RankingFunction
,ReferenceWorld
,RelationalRankingFunction
,RpclProbabilityDistribution
,SocialMapping
,StratifiedLabeling
public abstract class AbstractInterpretation<B extends BeliefBase,S extends Formula> extends java.lang.Object implements Interpretation<B,S>
An abstract interpretation for some logical language.- Author:
- Matthias Thimm
-
-
Constructor Summary
Constructors Constructor Description AbstractInterpretation()
-
Method Summary
-
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
Methods inherited from interface net.sf.tweety.commons.Interpretation
satisfies, satisfies
-
-
-
-
Method Detail
-
satisfies
public boolean satisfies(java.util.Collection<S> formulas) throws java.lang.IllegalArgumentException
Checks whether this interpretation satisfies all given formulas.- Specified by:
satisfies
in interfaceInterpretation<B extends BeliefBase,S extends Formula>
- 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.
-
-