What are the roles of propagators in constraints Oz programs? I. to do local deductions;

II. to update the computation space;

III. to change the basic constraints on the problem variables; IV. to guess the search.