Class SocialMapping<L>
java.lang.Object
org.tweetyproject.commons.AbstractInterpretation<SocialAbstractArgumentationFramework,Argument>
org.tweetyproject.arg.social.semantics.SocialMapping<L>
- Type Parameters:
L
- The set used for valuations
- All Implemented Interfaces:
Interpretation<SocialAbstractArgumentationFramework,
Argument>
public class SocialMapping<L>
extends AbstractInterpretation<SocialAbstractArgumentationFramework,Argument>
Implements a mapping from arguments to social value.
- Author:
- Matthias Thimm
-
Constructor Summary
ConstructorDescriptionSocialMapping
(AbstractSocialSemantics<L> semantics) Creates a new mapping wrt. -
Method Summary
Modifier and TypeMethodDescriptionboolean
Returns "true" iff the given argument has a value.Returns the social value of the given argumentSets the social value of the given argumentboolean
Checks whether this interpretation satisfies the given formula.boolean
satisfies
(SocialAbstractArgumentationFramework beliefBase) Checks whether this interpretation satisfies the given knowledge base.toString()
Methods inherited from class org.tweetyproject.commons.AbstractInterpretation
satisfies
-
Constructor Details
-
SocialMapping
Creates a new mapping wrt. the given semantics.- Parameters:
semantics
- some semantics
-
-
Method Details
-
satisfies
Description copied from interface:Interpretation
Checks whether this interpretation satisfies the given formula.- Parameters:
formula
- a formula .- Returns:
- "true" if this interpretation satisfies the given formula.
- Throws:
IllegalArgumentException
- if the formula does not correspond to the expected language.
-
satisfies
public boolean satisfies(SocialAbstractArgumentationFramework beliefBase) throws IllegalArgumentException Description copied from interface:Interpretation
Checks whether this interpretation satisfies the given knowledge base.- Parameters:
beliefBase
- a knowledge base.- Returns:
- "true" if this interpretation satisfies the given knowledge base.
- Throws:
IllegalArgumentException
- IllegalArgumentException if the knowledgebase does not correspond to the expected language.
-
get
Returns the social value of the given argument- Parameters:
a
- some argument- Returns:
- the social value of the given argument
-
put
Sets the social value of the given argument- Parameters:
a
- some argumentval
- the value for the argument- Returns:
- the social value of the given argument
-
containsKey
Returns "true" iff the given argument has a value.- Parameters:
a
- some argument- Returns:
- "true" iff the given argument has a value.
-
toString
-