Domain-Consistent Sum: Idea

{MYLIB.add X Y Z}

enforces domain-consistency in X, Y, Z.

Implementation: Loop through the domains

of X and Y. Keep only those values

in the domains of X, Y, Z for which

a consistent assignment exists.

Previous slide

Next slide

Back to first slide

View graphic version