Package net.sf.tweety.commons.postulates
Class PostulateEvaluationReport<S extends Formula>
- java.lang.Object
-
- net.sf.tweety.commons.postulates.PostulateEvaluationReport<S>
-
- 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
-
-
Constructor Summary
Constructors Constructor Description PostulateEvaluationReport(PostulateEvaluatable<S> ev, java.util.List<Postulate<S>> postulates)
Creates a new evaluation report for the given approach and set of postulates
-
Method Summary
Modifier and Type Method Description void
addNegativeInstance(Postulate<S> postulate, java.util.Collection<S> instance)
Adds a negative instance for the given postulatevoid
addNotApplicableInstance(Postulate<S> postulate, java.util.Collection<S> instance)
Adds an instance that is not applicable for the given postulatevoid
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 postulatejava.lang.String
prettyPrint()
java.lang.String
toString()
-
-
-
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 approachpostulates
- 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 postulateinstance
- 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 postulateinstance
- 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 postulateinstance
- 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 classjava.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.
-
-