Current Domain

Let C be basic constraint. For a given variable X,

the maximal set S such that C ? X ? S is

consistent is called the current domain of X in C,

denoted domc(X).

Example:

C: X?{1..10}, X=Y, Y?{9..20}

domc(X) = domc(Y) = {9,10}

Previous slide

Next slide

Back to first slide

View graphic version