Package net.ssehub.easy.varModel.cstEvaluation

Interface IResolutionListener

public interface IResolutionListener

Informs interested parties about the resolution of a variable to a decision variable.

Author:

Holger Eichelberger

Method Summary

Modifier and Type	Method	Description
void	localVariableCreated(LocalDecisionVariable var)	Is called when a local variable is created as part of container operation evaluation or let-evaluation.
void	localVariableDisposed(LocalDecisionVariable var)	Is called when a local variable is disposed as part of container operation evaluation or let-evaluation.
void	notifyResolved(IDecisionVariable compound, String slotName, IDecisionVariable resolved)	Is called to notify about the resolution of the compound slot slotName in compound to var.
void	notifyResolved(AbstractVariable declaration, IDecisionVariable resolved)	Is called to notify about the resolution of the declaration decl to the actual variable var.

Method Details

notifyResolved

void notifyResolved(AbstractVariable declaration,
 IDecisionVariable resolved)

Is called to notify about the resolution of the declaration decl to the actual variable var.

Parameters:

declaration - the declaration

resolved - the resolved decision variable

notifyResolved

void notifyResolved(IDecisionVariable compound,
 String slotName,
 IDecisionVariable resolved)

Is called to notify about the resolution of the compound slot slotName in compound to var.

Parameters:

compound - the compound variable

slotName - the slot to be resolved

resolved - the resolved slot variable

localVariableCreated

void localVariableCreated(LocalDecisionVariable var)

Is called when a local variable is created as part of container operation evaluation or let-evaluation.

Parameters:

var - the created variable

localVariableDisposed

void localVariableDisposed(LocalDecisionVariable var)

Is called when a local variable is disposed as part of container operation evaluation or let-evaluation.

Parameters:

var - the disposed variable