choco.prop
Interface VarEventListener

All Superinterfaces:

java.util.EventListener

All Known Subinterfaces:

BoolConstraint, CompositeConstraint, DecisionConstraint, IntConstraint, IntVarEventListener, MixedConstraint, PalmConstraint, PalmIntVarListener, PalmMixedConstraint, PalmRealVarListener, PalmVarListener, Propagator, RealConstraint, RealListener, SetConstraint, SetVarEventListener, SymbolicDecision

All Known Implementing Classes:

AbstractBinBoolConstraint, AbstractBinBoolConstraintWithCounterOpposite, AbstractBinCompositeConstraint, AbstractBinIntConstraint, AbstractBinRealIntConstraint, AbstractBinSetConstraint, AbstractBinSetIntConstraint, AbstractBipartiteFlow, AbstractBipartiteGraph, AbstractBipartiteMatching, AbstractCompositeConstraint, AbstractConstraint, AbstractDecision, AbstractIntConstraint, AbstractLargeBoolConstraint, AbstractLargeBoolConstraintWithCounterOpposite, AbstractLargeCompositeConstraint, AbstractLargeIntConstraint, AbstractLargeRealConstraint, AbstractMixedConstraint, AbstractPalmBinIntConstraint, AbstractPalmLargeIntConstraint, AbstractPalmSplit, AbstractPalmTernIntConstraint, AbstractPalmUnIntConstraint, AbstractPalmUnRealConstraint, AbstractSetConstraint, AbstractTernIntConstraint, AbstractTernSetConstraint, AbstractUnIntConstraint, AbstractUnRealConstraint, AbstractUnSetConstraint, AC2001BinConstraint, AC3BinConstraint, AC4BinConstraint, AllDifferent, Assignment, BinConjunction, BinDisjunction, BooleanChanneling, BoundAllDiff, Cardinality, ConstantConstraint, CspBinConstraint, CspLargeConstraint, Cumulative, Disjoint, Element, ElementV, EqualXC, EqualXYC, Equation, Equiv, GAC2001LargeConstraint, GlobalCardinality, GreaterOrEqualXC, GreaterOrEqualXYC, Guard, IntLinComb, InverseChanneling, LargeConjunction, LargeDisjunction, LessOrEqualXC, Lex, MemberX, MemberXY, MixedCstElt, MixedEqXY, NogoodConstraint, NotEqualXC, NotEqualXYC, NotMemberX, NotMemberXY, Occurrence, PalmAllDifferent, PalmAssignment, PalmCardinality, PalmElt, PalmElt2D, PalmEqualXC, PalmEqualXYC, PalmEquation, PalmGreaterOrEqualXC, PalmGreaterOrEqualXYC, PalmIntLinComb, PalmLessOrEqualXC, PalmMixedCstElt, PalmMixedEqXY, PalmNotEqualXC, PalmNotEqualXYC, PalmOccurence, PalmSplitLeft, PalmSplitRight, SetCard, SetIntersection, TimesXYZ

public interface VarEventListener
extends java.util.EventListener

An interface for all the search variable listeners.

Method Summary

void	addListener(boolean dynamicAddition) This function connects a constraint with its variables in several ways.
void	awakeOnVar(int idx) propagation on domain revision.
boolean	isActive() Propagation: A constraint is active if it is connected to the network and if it does propagate.
void	setActive() Propagation: un-freezes a constraint [a constraint is active if it is connected to the network and if it does propagate]
void	setPassive() Propagation: freezes a constraint [a constraint is active if it is connected to the network and if it does propagate]

Method Detail

awakeOnVar

void awakeOnVar(int idx)
                throws ContradictionException

propagation on domain revision.

Throws:

ContradictionException

addListener

void addListener(boolean dynamicAddition)

This function connects a constraint with its variables in several ways. Note that it may only be called once the constraint has been fully created and is being posted to a problem. Note that it should be called only once per constraint. This can be a dynamic addition (undone upon backtracking) or not

Parameters:

dynamicAddition -

isActive

boolean isActive()

Propagation: A constraint is active if it is connected to the network and if it does propagate.

setActive

void setActive()

Propagation: un-freezes a constraint [a constraint is active if it is connected to the network and if it does propagate]

setPassive

void setPassive()

Propagation: freezes a constraint [a constraint is active if it is connected to the network and if it does propagate]