3.3 Modeling with Mutable Data

3.3.5 Propagation of Constraints

Exercises:

• 3.33 . Averager procedure
• 3.34 . Squarer
• 3.35 . Squarer as a primitive constraint
• 3.36 . Environment diagram
• 3.37 . ''Сonstraint'' versions of the arithmetic operations