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

Field Summary

Fields

Modifier and Type	Field and Description
private PostulateEvaluatable<S>	ev The approach that is evaluated
private java.util.Map<Postulate<S>,java.util.Collection<java.util.Collection<S>>>	negativeInstances the instances that violate the given postulate
private java.util.Map<Postulate<S>,java.util.Collection<java.util.Collection<S>>>	notApplicableInstances the instances that are not applicable for the given postulate (thus also satisfy the postulate)
private java.util.Map<Postulate<S>,java.util.Collection<java.util.Collection<S>>>	positiveInstances the instances that satisfy the given postulate (and are applicable)

Constructor Summary

Constructors

Constructor and 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 and Description
void	addNegativeInstance(Postulate<S> postulate, java.util.Collection<S> instance) Adds a negative instance for the given postulate
void	addNotApplicableInstance(Postulate<S> postulate, java.util.Collection<S> instance) Adds an instance that is not applicable for the given postulate
void	addPositiveInstance(Postulate<S> postulate, java.util.Collection<S> instance) Adds a positive instance for the given postulate (that is applicable)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

ev

private PostulateEvaluatable<S extends Formula> ev

The approach that is evaluated

positiveInstances

private java.util.Map<Postulate<S extends Formula>,java.util.Collection<java.util.Collection<S extends Formula>>> positiveInstances

the instances that satisfy the given postulate (and are applicable)

notApplicableInstances

private java.util.Map<Postulate<S extends Formula>,java.util.Collection<java.util.Collection<S extends Formula>>> notApplicableInstances

the instances that are not applicable for the given postulate (thus also satisfy the postulate)

negativeInstances

private java.util.Map<Postulate<S extends Formula>,java.util.Collection<java.util.Collection<S extends Formula>>> negativeInstances

the instances that violate the given postulate

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 approach

postulates - 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 postulate

instance - 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 postulate

instance - 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 postulate

instance - some instance

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object