net.ssehub.easy.reasoning.core.reasoner

Interface IReasonerInterceptor

All Known Implementing Classes:

ReasonerInterceptorAdaptor

public interface IReasonerInterceptor

An initial reasoner interceptor to be informed about the reasoning process in detail. Please do not modify the handed over information.

Author:

Holger Eichelberger

Method Summary

Modifier and Type	Method and Description
void	notifyEvaluation(net.ssehub.easy.varModel.model.Constraint constraint, net.ssehub.easy.varModel.cstEvaluation.IConstraintEvaluator evaluator) Notifies about the evaluation of a constraint.

Method Detail

notifyEvaluation

void notifyEvaluation(net.ssehub.easy.varModel.model.Constraint constraint,
                      net.ssehub.easy.varModel.cstEvaluation.IConstraintEvaluator evaluator)

Notifies about the evaluation of a constraint.

Parameters:

constraint - the constraint

evaluator - the evaluator