Class PostulateEvaluationReport<S extends Formula>

java.lang.Object
org.tweetyproject.commons.postulates.PostulateEvaluationReport<S>
Type Parameters:
S - The type of formulas

public class PostulateEvaluationReport<S extends Formula> extends Object
Summarises the results of a postulate evaluation.
Author:
Matthias Thimm
  • Constructor Details

    • PostulateEvaluationReport

      public PostulateEvaluationReport(PostulateEvaluatable<S> ev, 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 Details

    • addPositiveInstance

      public void addPositiveInstance(Postulate<S> postulate, 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, 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, Collection<S> instance)
      Adds a negative instance for the given postulate
      Parameters:
      postulate - some postulate
      instance - some instance
    • getNegativeInstances

      public Collection<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 String toString()
      Overrides:
      toString in class Object
    • prettyPrint

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