Class SocialMapping<L>

    • 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 argument
      L put​(Argument a, L val)
      Sets the social value of the given argument
      boolean 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 java.lang.Object

        equals, 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​(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 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