Package net.ssehub.easy.reasoning.core.reasoner

Class EvaluationResult.EvaluationPair

java.lang.Object

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

Enclosing class:

EvaluationResult

public static class EvaluationResult.EvaluationPair
extends java.lang.Object

Defines a pair of a constraint and its evaluation result.

Author:

Holger Eichelberger

Field Summary

Fields

Modifier and Type	Field	Description
private Constraint	constraint
private EvaluationResult.ConstraintEvaluationResult	result
private Value	value

Constructor Summary

Constructors

Constructor	Description
EvaluationPair(Constraint constraint)	Creates a pair with an unknown evaluation result.
EvaluationPair(Constraint constraint, EvaluationResult.ConstraintEvaluationResult result)	Creates a pair with a given evaluation result.
EvaluationPair(Constraint constraint, EvaluationResult.ConstraintEvaluationResult result, Value value)	Creates a pair with a given evaluation result.

Method Summary

Modifier and Type	Method	Description
Constraint	getConstraint()	Returns the constraint.
EvaluationResult.ConstraintEvaluationResult	getResult()	Returns the evaluation result.
Value	getValue()	Returns the evaluated value.
void	setResult(EvaluationResult.ConstraintEvaluationResult result)	Changes the evaluation result.

Methods inherited from class java.lang.Object

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

Field Detail

constraint

private Constraint constraint

result

private EvaluationResult.ConstraintEvaluationResult result

value

private Value value

Constructor Detail

EvaluationPair

public EvaluationPair(Constraint constraint)

Creates a pair with an unknown evaluation result.

Parameters:

constraint - the constraint

EvaluationPair

public EvaluationPair(Constraint constraint,
                      EvaluationResult.ConstraintEvaluationResult result)

Creates a pair with a given evaluation result.

Parameters:

constraint - the constraint

result - the evaluation result

EvaluationPair

public EvaluationPair(Constraint constraint,
                      EvaluationResult.ConstraintEvaluationResult result,
                      Value value)

Creates a pair with a given evaluation result.

Parameters:

constraint - the constraint

result - the evaluation result

value - the evaluated value (may be null)

Method Detail

setResult

public void setResult(EvaluationResult.ConstraintEvaluationResult result)

Changes the evaluation result.

Parameters:

result - the new evaluation result

getConstraint

public Constraint getConstraint()

Returns the constraint.

Returns:

the constraint

getResult

public EvaluationResult.ConstraintEvaluationResult getResult()

Returns the evaluation result.

Returns:

the evaluation result

getValue

public Value getValue()

Returns the evaluated value.

Returns:

the value (may be null)