[<<][staapl][>>][..]
Mon Sep 7 10:00:04 CEST 2009

Ranges

The problem is the domain of the nodes.  Currently, they are limited
to values, and propagation performs assignment.  Let's clean this up
first by allowing subsets.

First: constraints need to perform propagation themselves.  This
should not be handled in the driver routine.


EDIT: equations and inequalities: equations useful for defining
intermediates on which the inequalities are specified.  When looking
from the point of individual get/set operations, the algorithm
performs directionalization of the equations + selects the appropriate
constraints to check.



[Reply][About]
[<<][staapl][>>][..]