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 Details

    • SocialMapping

      public SocialMapping(AbstractSocialSemantics<L> semantics)
      Creates a new mapping wrt. the given semantics.
      Parameters:
      semantics - some semantics

  • Method Details

    • satisfies

      public boolean satisfies(Argument formula) throws 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:
      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

      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 String toString()
      Overrides:
      toString in class Object