net.ssehub.easy.reasoning.core.reasoner

Class EvaluationResult

java.lang.Object

net.ssehub.easy.reasoning.core.reasoner.ReasoningResult

net.ssehub.easy.reasoning.core.reasoner.EvaluationResult

public class EvaluationResult
extends ReasoningResult

A specific reasoning result for evaluations of presence conditions.

Author:

Holger Eichelberger

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	EvaluationResult.ConstraintEvaluationResult Denotes the possible results of a constraint evaluation.
static class	EvaluationResult.EvaluationPair Defines a pair of a constraint and its evaluation result.

Field Summary

Fields

Modifier and Type	Field and Description
private java.util.List<EvaluationResult.EvaluationPair>	evaluatedConstraints

Constructor Summary

Constructors

Constructor and Description
EvaluationResult() Creates an instance.
EvaluationResult(java.lang.String reasonerName) Creates an instance of a result signalling an unsupported operation.

Method Summary

Modifier and Type	Method and Description
void	addEvaluationPair(EvaluationResult.EvaluationPair pair) Adds an evaluation pair.
EvaluationResult.EvaluationPair	getEvaluationPair(int index) Returns an evaluation pair.
int	getEvaluationPairCount() Returns the number of stored evaluation pairs.

Methods inherited from class net.ssehub.easy.reasoning.core.reasoner.ReasoningResult

addAffected, addMessage, getAffectedVariable, getAffectedVariablesCount, getMeasure, getMessage, getMessageCount, hasConflict, hasInfo, hasTimeout, logInformation, logInformation, logInformation, measurementKeys, providesInformationOnAffectedVariables, reasoningUnsupported, setMeasure, setStopped, setTimeout, wasStopped

Methods inherited from class java.lang.Object

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

Field Detail

evaluatedConstraints

private java.util.List<EvaluationResult.EvaluationPair> evaluatedConstraints

Constructor Detail

EvaluationResult

public EvaluationResult()

Creates an instance.

EvaluationResult

public EvaluationResult(java.lang.String reasonerName)

Creates an instance of a result signalling an unsupported operation.

Parameters:

reasonerName - the name of the reasoner which does not support the operation

Method Detail

addEvaluationPair

public void addEvaluationPair(EvaluationResult.EvaluationPair pair)

Adds an evaluation pair.

Parameters:

pair - the pair to be added

getEvaluationPairCount

public int getEvaluationPairCount()

Returns the number of stored evaluation pairs.

Returns:

the number of evaluation pairs

getEvaluationPair

public EvaluationResult.EvaluationPair getEvaluationPair(int index)

Returns an evaluation pair.

Parameters:

index - the index of the pair

Returns:

the pair

Throws:

java.lang.IndexOutOfBoundsException - if index<0 || index>=getEvaluationPairCount()