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>
    • 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

        equals, 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
    • 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