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 Summary

Constructors

Constructor	Description
PostulateEvaluationReport(PostulateEvaluatable<S> ev, 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, Collection<S> instance)	Adds a negative instance for the given postulate
void	addNotApplicableInstance(Postulate<S> postulate, Collection<S> instance)	Adds an instance that is not applicable for the given postulate
void	addPositiveInstance(Postulate<S> postulate, Collection<S> instance)	Adds a positive instance for the given postulate (that is applicable)
Collection<Collection<S>>	getNegativeInstances(Postulate<S> postulate)	Returns the negative instances for the given postulate
String	prettyPrint()	Pretty print report.
String	toString()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

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()

Pretty print report.

Returns:

an easy-to-read string representation of the report in which the results are ordered alphabetically by postulate name.