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
    • 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 prettyPrint()  
      java.lang.String toString()  
      • Methods inherited from class java.lang.Object

        equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
    • 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
      • prettyPrint

        public java.lang.String prettyPrint()
        Returns:
        an easy-to-read string representation of the report in which the results are ordered alphabetically by postulate name.