net.sf.tweety.arg.social.semantics

Class SocialMapping<L>

java.lang.Object

net.sf.tweety.commons.AbstractInterpretation

net.sf.tweety.arg.social.semantics.SocialMapping<L>

Type Parameters:

L - The set used for valuations

All Implemented Interfaces:

Interpretation

public class SocialMapping<L>
extends AbstractInterpretation

Implements a mapping from arguments to social value.

Author:

Matthias Thimm

Field Summary

Fields

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 Summary

Constructors

Constructor and Description
SocialMapping(AbstractSocialSemantics<L> semantics) Creates a new mapping wrt.

Method Summary

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()

Methods inherited from class net.sf.tweety.commons.AbstractInterpretation

satisfies

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

semantics

private AbstractSocialSemantics<L> semantics

The semantics used for this mapping

map

private java.util.Map<Argument,L> map

Maps arguments to their values

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(Formula 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(BeliefBase 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 argument

val - 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 class java.lang.Object