Class SocialMapping<L>
- java.lang.Object
-
- net.sf.tweety.commons.AbstractInterpretation<SocialAbstractArgumentationFramework,Argument>
-
- net.sf.tweety.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
Constructors Constructor Description SocialMapping(AbstractSocialSemantics<L> semantics)
Creates a new mapping wrt.
-
Method Summary
Modifier and Type Method Description boolean
containsKey(Argument a)
Returns "true" iff the given argument has a value.L
get(Argument a)
Returns the social value of the given argumentL
put(Argument a, L val)
Sets the social value of the given argumentboolean
satisfies(Argument formula)
Checks whether this interpretation satisfies the given formula.boolean
satisfies(SocialAbstractArgumentationFramework beliefBase)
Checks whether this interpretation satisfies the given knowledge base.java.lang.String
toString()
-
Methods inherited from class net.sf.tweety.commons.AbstractInterpretation
satisfies
-
-
-
-
Constructor Detail
-
SocialMapping
public SocialMapping(AbstractSocialSemantics<L> semantics)
Creates a new mapping wrt. the given semantics.- Parameters:
semantics
- some semantics
-
-
Method Detail
-
satisfies
public boolean satisfies(Argument formula) throws java.lang.IllegalArgumentException
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:
java.lang.IllegalArgumentException
- if the formula does not correspond to the expected language.
-
satisfies
public boolean satisfies(SocialAbstractArgumentationFramework beliefBase) throws java.lang.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:
java.lang.IllegalArgumentException
- IllegalArgumentException if the knowledgebase does not correspond to the expected language.
-
get
public L get(Argument a)
Returns the social value of the given argument- Parameters:
a
- some argument- Returns:
- the social value of the given argument
-
put
public L put(Argument a, L val)
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
public boolean containsKey(Argument a)
Returns "true" iff the given argument has a value.- Parameters:
a
- some argument- Returns:
- "true" iff the given argument has a value.
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
-