Reified Constraints

Reflecting the validity of a constraint in a 0/1 variable

Example: {FD.reified.int [1 2 3 4] X B}

Intuition: B reflects whether X ? {1,2,3,4}

Propagation: B=1 ? X ? {1,2,3,4}

B=0 ? X ? {1,2,3,4}

dom(X)?{1,2,3,4} ? B=1

dom(X)?{1,2,3,4}=? ? B=0

Previous slide

Next slide

Back to first slide

View graphic version