Package net.sf.tweety.arg.dung.semantics

Class StratifiedLabeling

    • Nested Class Summary

      • Nested classes/interfaces inherited from interface java.util.Map

        java.util.Map.Entry<K extends java.lang.Object,​V extends java.lang.Object>

    • Field Summary

      Fields 
      Modifier and Type Field Description
      private java.util.HashMap<Argument,​java.lang.Integer> map
      The actual mapping of arguments to integers.

    • Constructor Summary

      Constructors 
      Constructor Description
      StratifiedLabeling()
      Creates a new empty stratified labeling.

    • Method Summary

      Modifier and Type Method Description
      void clear()  
      boolean containsKey​(java.lang.Object arg0)  
      boolean containsValue​(java.lang.Object arg0)  
      java.util.Set<java.util.Map.Entry<Argument,​java.lang.Integer>> entrySet()  
      java.lang.Integer get​(java.lang.Object arg0)  
      boolean isEmpty()  
      java.util.Set<Argument> keySet()  
      java.lang.Integer put​(Argument arg0, java.lang.Integer arg1)  
      void putAll​(java.util.Map<? extends Argument,​? extends java.lang.Integer> arg0)  
      java.lang.Integer remove​(java.lang.Object arg0)  
      boolean satisfies​(Argument formula)
      Checks whether this interpretation satisfies the given formula.
      boolean satisfies​(DungTheory beliefBase)
      Checks whether this interpretation satisfies the given knowledge base.
      int size()  
      java.lang.String toString()  
      java.util.Collection<java.lang.Integer> values()  

      • Methods inherited from class java.lang.Object

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

      • Methods inherited from interface java.util.Map

        compute, computeIfAbsent, computeIfPresent, equals, forEach, getOrDefault, hashCode, merge, putIfAbsent, remove, replace, replace, replaceAll

    • Field Detail

      • map

        private java.util.HashMap<Argument,​java.lang.Integer> map
        The actual mapping of arguments to integers.

    • Constructor Detail

      • StratifiedLabeling

        public StratifiedLabeling()
        Creates a new empty stratified labeling.

    • Method Detail

      • clear

        public void clear()
        Specified by:
        clear in interface java.util.Map<Argument,​java.lang.Integer>

      • containsKey

        public boolean containsKey​(java.lang.Object arg0)
        Specified by:
        containsKey in interface java.util.Map<Argument,​java.lang.Integer>

      • containsValue

        public boolean containsValue​(java.lang.Object arg0)
        Specified by:
        containsValue in interface java.util.Map<Argument,​java.lang.Integer>

      • entrySet

        public java.util.Set<java.util.Map.Entry<Argument,​java.lang.Integer>> entrySet()
        Specified by:
        entrySet in interface java.util.Map<Argument,​java.lang.Integer>

      • get

        public java.lang.Integer get​(java.lang.Object arg0)
        Specified by:
        get in interface java.util.Map<Argument,​java.lang.Integer>

      • isEmpty

        public boolean isEmpty()
        Specified by:
        isEmpty in interface java.util.Map<Argument,​java.lang.Integer>

      • keySet

        public java.util.Set<Argument> keySet()
        Specified by:
        keySet in interface java.util.Map<Argument,​java.lang.Integer>

      • put

        public java.lang.Integer put​(Argument arg0,
                             java.lang.Integer arg1)
        Specified by:
        put in interface java.util.Map<Argument,​java.lang.Integer>

      • putAll

        public void putAll​(java.util.Map<? extends Argument,​? extends java.lang.Integer> arg0)
        Specified by:
        putAll in interface java.util.Map<Argument,​java.lang.Integer>

      • remove

        public java.lang.Integer remove​(java.lang.Object arg0)
        Specified by:
        remove in interface java.util.Map<Argument,​java.lang.Integer>

      • size

        public int size()
        Specified by:
        size in interface java.util.Map<Argument,​java.lang.Integer>

      • values

        public java.util.Collection<java.lang.Integer> values()
        Specified by:
        values in interface java.util.Map<Argument,​java.lang.Integer>

      • satisfies

        public boolean satisfies​(Argument formula)
                  throws java.lang.IllegalArgumentException
        Description copied from interface: Interpretation
        Checks whether this interpretation satisfies the given formula.
        Specified by:
        satisfies in interface Interpretation<DungTheory,​Argument>
        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​(DungTheory beliefBase)
                  throws java.lang.IllegalArgumentException
        Description copied from interface: Interpretation
        Checks whether this interpretation satisfies the given knowledge base.
        Specified by:
        satisfies in interface Interpretation<DungTheory,​Argument>
        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.

      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object