Interface IResolutionListener

  • All Known Implementing Classes:
    Resolver

    public interface IResolutionListener
    Informs interested parties about the resolution of a variable to a decision variable.
    Author:
    Holger Eichelberger
    • Method Detail

      • 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,
                            java.lang.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