Package org.tweetyproject.commons.postulates

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.