L
- The set used for valuationspublic class SocialMapping<L> extends AbstractInterpretation
Modifier and Type | Field and Description |
---|---|
private java.util.Map<Argument,L> |
map
Maps arguments to their values
|
private AbstractSocialSemantics<L> |
semantics
The semantics used for this mapping
|
Constructor and Description |
---|
SocialMapping(AbstractSocialSemantics<L> semantics)
Creates a new mapping wrt.
|
Modifier and Type | Method and 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 argument
|
L |
put(Argument a,
L val)
Sets the social value of the given argument
|
boolean |
satisfies(BeliefBase beliefBase)
Checks whether this interpretation satisfies the given knowledge base.
|
boolean |
satisfies(Formula formula)
Checks whether this interpretation satisfies the given formula.
|
java.lang.String |
toString() |
satisfies
private AbstractSocialSemantics<L> semantics
public SocialMapping(AbstractSocialSemantics<L> semantics)
semantics
- some semanticspublic boolean satisfies(Formula formula) throws java.lang.IllegalArgumentException
Interpretation
formula
- a formula .java.lang.IllegalArgumentException
- if the formula does not correspond
to the expected language.public boolean satisfies(BeliefBase beliefBase) throws java.lang.IllegalArgumentException
Interpretation
beliefBase
- a knowledge base.java.lang.IllegalArgumentException
- IllegalArgumentException if the knowledgebase does not correspond
to the expected language.public L get(Argument a)
a
- some argumentpublic L put(Argument a, L val)
a
- some argumentval
- the value for the argumentpublic boolean containsKey(Argument a)
a
- some argumentpublic java.lang.String toString()
toString
in class java.lang.Object