8.2. Basic working of the solver: constraints

8.2.1. BaseObject

8.2.2. Demons

8.2.3. The BaseObject and PropagationBaseObject classes

8.2.3.1. PropagationBaseObject

8.2.4. The propagation queue

8.2.5. The Constraint class

8.2.5.1. The Post() method

8.2.5.2. The InitialPropagate() method

8.2.6. Propagation in action: the PropagationMonitor class