org.chocosolver.solver.variables

Interface FilteringMonitor

All Superinterfaces:

Serializable

All Known Implementing Classes:

ExplanationEngine, FilteringMonitorList

public interface FilteringMonitor
extends Serializable

Monitor filter generated during resolution. Defined initially for explanation engine. Created by cprudhom on 09/12/14. Project: choco.

Method Summary

Methods

Modifier and Type	Method and Description
void	activePropagator(BoolVar var, Propagator propagator) Explain the activation of a propagator involved in a reified constraint
void	instantiateTo(IntVar var, int val, ICause cause, int oldLB, int oldUB) Explain the assignment to val of var due to cause.
void	removeValue(IntVar var, int val, ICause cause) Explain the removal of the val from var, due to cause.
void	updateLowerBound(IntVar intVar, int value, int old, ICause cause) Explain the removal of [old,value[ from var, due to cause.
void	updateUpperBound(IntVar var, int value, int old, ICause cause) Explain the removal of ]value,old] from var, due to cause.

Method Detail

activePropagator

void activePropagator(BoolVar var,
                    Propagator propagator)

Explain the activation of a propagator involved in a reified constraint

Parameters:

var - the reified variable

propagator - the propagator to awake.

removeValue

void removeValue(IntVar var,
               int val,
               ICause cause)

Explain the removal of the val from var, due to cause.

Parameters:

var - an integer variable

val - a value

cause - a cause

updateLowerBound

void updateLowerBound(IntVar intVar,
                    int value,
                    int old,
                    ICause cause)

Explain the removal of [old,value[ from var, due to cause.

Prerequisite: value should belong to var

Parameters:

intVar - an integer variable

value - the current lower bound

old - the previous lower bound

cause - the cause

updateUpperBound

void updateUpperBound(IntVar var,
                    int value,
                    int old,
                    ICause cause)

Explain the removal of ]value,old] from var, due to cause.

Prerequisite: value should belong to var

Parameters:

var - an integer variable

value - the current upper bound

old - the previous upper bound

cause - the cause

instantiateTo

void instantiateTo(IntVar var,
                 int val,
                 ICause cause,
                 int oldLB,
                 int oldUB)

Explain the assignment to val of var due to cause.

Parameters:

var - an integer variable

val - the assignment value

cause - the cause

oldLB - the previous LB

oldUB - the previous UB