Package net.sf.tweety.arg.social.semantics

Class SocialMapping<L>

java.lang.Object

net.sf.tweety.commons.AbstractInterpretation<SocialAbstractArgumentationFramework,net.sf.tweety.arg.dung.syntax.Argument>

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

Type Parameters:

L - The set used for valuations

All Implemented Interfaces:

net.sf.tweety.commons.Interpretation<SocialAbstractArgumentationFramework,net.sf.tweety.arg.dung.syntax.Argument>

public class SocialMapping<L>
extends net.sf.tweety.commons.AbstractInterpretation<SocialAbstractArgumentationFramework,net.sf.tweety.arg.dung.syntax.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(net.sf.tweety.arg.dung.syntax.Argument a)	Returns "true" iff the given argument has a value.
L	get(net.sf.tweety.arg.dung.syntax.Argument a)	Returns the social value of the given argument
L	put(net.sf.tweety.arg.dung.syntax.Argument a, L val)	Sets the social value of the given argument
boolean	satisfies(net.sf.tweety.arg.dung.syntax.Argument formula)
boolean	satisfies(SocialAbstractArgumentationFramework beliefBase)
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

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(net.sf.tweety.arg.dung.syntax.Argument formula)
                  throws IllegalArgumentException

Throws:

IllegalArgumentException

satisfies

public boolean satisfies(SocialAbstractArgumentationFramework beliefBase)
                  throws IllegalArgumentException

Throws:

IllegalArgumentException

get

public L get(net.sf.tweety.arg.dung.syntax.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(net.sf.tweety.arg.dung.syntax.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(net.sf.tweety.arg.dung.syntax.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 String toString()

Overrides:

toString in class Object