Russ Abbott wrote:
Right. Got it now. I was thinking this morning about how one would implement constraints and realized that a constraint is implemented as a set of propagators. The propagators essentially propagate concrete aspects of one element to other elements as the constraint dictates. Constraint propagation is really a forward-chaining system in which the propagators are the forward chaining rules. Right?

Exactly!

Cheers,
raph

_________________________________________________________________________________
mozart-users mailing list                               
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users

Reply via email to