Symbolic Propagators Example: The “Element” Propagator
Call: {FD.element I L X}
Intuition: X is the Ith element of L
Example: {FD.element I [5 6 7 8] X}
domc(I)={1,3} ? X ? {5,7}
domc(X)={6,8} ? I ? {2,4}
Previous slide
Next slide
Back to first slide
View graphic version