Re: Defining ConstraintSet and the constrainable algorithm in terms of it

On 6 February 2014 20:28, Harald Alvestrand <harald@alvestrand.no> wrote:
> You're right. The "intersection" has to be in terms of what's possible given
> the already-satisfied constraints, not just what that particular constraint
> has been constrained to.

You mean that for constraints from a set of sources S, the constraint
is the intersection of the set formed from the present constraints and
the constraints already set by {S - S[current]}.

Received on Friday, 7 February 2014 17:30:32 UTC