I see, so the search procedure makes sure that it doesn't preform any
bindings to variables outside it's scope. That's a good thing to know.
Thanks again Luis,
Ryan
Luis Quesada wrote:
> rmk216 wrote:
>
>> Thanks Luis, that worked just fine!
>> One thing I am confused about, why does the scope control whether or not
>> the search blocks? If I had to guess I'd say it's probably one of those
>> well-documented bits of behavior that I kind of just skimmed over. Am I
>> right?
>>
>
> If the FD variables are global to the script, the set of solutions
> depends on the values given to these variables in the parent space.
>
> For instance, feed the the following lines:
>
> declare
> Y
> proc {Script X}
> X::1#5
> Y::1#5
> X<:Y
> {FD.distribute ff [X Y]}
> end
> {Browse {SearchAll Script}}
>
>
> The execution will blocks since the set of solutions depends on the
> value given to Y in the parent space. Now feed the line:
>
> Y=3
>
> You will observe that set of solution is browsed considering the fact
> that Y=3. Notice that the set of solution can be only computed when the
> Y is globally determined since the solution will depend on the value
> associated with Y.
>
> Cheers,
> Luis
>
>
>
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
