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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

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 Detail

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.