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 and Description
private net.ssehub.easy.varModel.model.Constraint	constraint
private EvaluationResult.ConstraintEvaluationResult	result
private net.ssehub.easy.varModel.model.values.Value	value

Constructor Summary

Constructors

Constructor and Description
EvaluationPair(net.ssehub.easy.varModel.model.Constraint constraint) Creates a pair with an unknown evaluation result.
EvaluationPair(net.ssehub.easy.varModel.model.Constraint constraint, EvaluationResult.ConstraintEvaluationResult result) Creates a pair with a given evaluation result.
EvaluationPair(net.ssehub.easy.varModel.model.Constraint constraint, EvaluationResult.ConstraintEvaluationResult result, net.ssehub.easy.varModel.model.values.Value value) Creates a pair with a given evaluation result.

Method Summary

Modifier and Type	Method and Description
net.ssehub.easy.varModel.model.Constraint	getConstraint() Returns the constraint.
EvaluationResult.ConstraintEvaluationResult	getResult() Returns the evaluation result.
net.ssehub.easy.varModel.model.values.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 net.ssehub.easy.varModel.model.Constraint constraint

result

private EvaluationResult.ConstraintEvaluationResult result

value

private net.ssehub.easy.varModel.model.values.Value value

Constructor Detail

EvaluationPair

public EvaluationPair(net.ssehub.easy.varModel.model.Constraint constraint)

Creates a pair with an unknown evaluation result.

Parameters:

constraint - the constraint

EvaluationPair

public EvaluationPair(net.ssehub.easy.varModel.model.Constraint constraint,
                      EvaluationResult.ConstraintEvaluationResult result)

Creates a pair with a given evaluation result.

Parameters:

constraint - the constraint

result - the evaluation result

EvaluationPair

public EvaluationPair(net.ssehub.easy.varModel.model.Constraint constraint,
                      EvaluationResult.ConstraintEvaluationResult result,
                      net.ssehub.easy.varModel.model.values.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 net.ssehub.easy.varModel.model.Constraint getConstraint()

Returns the constraint.

Returns:

the constraint

getResult

public EvaluationResult.ConstraintEvaluationResult getResult()

Returns the evaluation result.

Returns:

the evaluation result

getValue

public net.ssehub.easy.varModel.model.values.Value getValue()

Returns the evaluated value.

Returns:

the value (may be null)