Package net.sf.tweety.commons.postulates

Class PostulateEvaluationReport<S extends Formula>

  • Type Parameters:
    S - The type of formulas
    public class PostulateEvaluationReport<S extends Formula>
extends java.lang.Object
    Summarises the results of a postulate evaluation.
    Author:
    Matthias Thimm

    • Field Summary

      Fields 
      Modifier and Type Field Description
      private PostulateEvaluatable<S> ev
      The approach that is evaluated
      private java.util.Map<Postulate<S>,​java.util.Collection<java.util.Collection<S>>> negativeInstances
      the instances that violate the given postulate
      private java.util.Map<Postulate<S>,​java.util.Collection<java.util.Collection<S>>> notApplicableInstances
      the instances that are not applicable for the given postulate (thus also satisfy the postulate)
      private java.util.Map<Postulate<S>,​java.util.Collection<java.util.Collection<S>>> positiveInstances
      the instances that satisfy the given postulate (and are applicable)

    • Method Summary

      Modifier and Type Method Description
      void addNegativeInstance​(Postulate<S> postulate, java.util.Collection<S> instance)
      Adds a negative instance for the given postulate
      void addNotApplicableInstance​(Postulate<S> postulate, java.util.Collection<S> instance)
      Adds an instance that is not applicable for the given postulate
      void addPositiveInstance​(Postulate<S> postulate, java.util.Collection<S> instance)
      Adds a positive instance for the given postulate (that is applicable)
      java.util.Collection<java.util.Collection<S>> getNegativeInstances​(Postulate<S> postulate)
      Returns the negative instances for the given postulate
      java.lang.String toString()  

      • Methods inherited from class java.lang.Object

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

    • Field Detail

      • positiveInstances

        private java.util.Map<Postulate<S extends Formula>,​java.util.Collection<java.util.Collection<S extends Formula>>> positiveInstances
        the instances that satisfy the given postulate (and are applicable)

      • notApplicableInstances

        private java.util.Map<Postulate<S extends Formula>,​java.util.Collection<java.util.Collection<S extends Formula>>> notApplicableInstances
        the instances that are not applicable for the given postulate (thus also satisfy the postulate)

      • negativeInstances

        private java.util.Map<Postulate<S extends Formula>,​java.util.Collection<java.util.Collection<S extends Formula>>> negativeInstances
        the instances that violate the given postulate

    • Constructor Detail

      • PostulateEvaluationReport

        public PostulateEvaluationReport​(PostulateEvaluatable<S> ev,
                                 java.util.List<Postulate<S>> postulates)
        Creates a new evaluation report for the given approach and set of postulates
        Parameters:
        ev - some approach
        postulates - a set of postulates

    • Method Detail

      • addPositiveInstance

        public void addPositiveInstance​(Postulate<S> postulate,
                                java.util.Collection<S> instance)
        Adds a positive instance for the given postulate (that is applicable)
        Parameters:
        postulate - some postulate
        instance - some instance

      • addNotApplicableInstance

        public void addNotApplicableInstance​(Postulate<S> postulate,
                                     java.util.Collection<S> instance)
        Adds an instance that is not applicable for the given postulate
        Parameters:
        postulate - some postulate
        instance - some instance

      • addNegativeInstance

        public void addNegativeInstance​(Postulate<S> postulate,
                                java.util.Collection<S> instance)
        Adds a negative instance for the given postulate
        Parameters:
        postulate - some postulate
        instance - some instance

      • getNegativeInstances

        public java.util.Collection<java.util.Collection<S>> getNegativeInstances​(Postulate<S> postulate)
        Returns the negative instances for the given postulate
        Parameters:
        postulate - some postulate
        Returns:
        a collection of negative instances.

      • toString

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