EvaluationResult (EASy-Producer Documentation API)

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	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 Description

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

Constructor Summary

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

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	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()