Re: fd_vector_max/1

[Nicolas Pelletier]

On Tue, Feb 22, 2011 at 17:56, Daniel Diaz <address@hidden> wrote:
>
> This choice has been done for efficiency reasons. Other representations are
> possible but 1) imply a lot of code rewriting in the solver and 2) will
> penalize efficiency.

Thank you for this explanation. I suspected this would be the case.

> In your case (IP addr) it is obviously not a good idea to use a bit-vector
> for 2^32 values (and in fact you cannot define a so big length) !
> Use instead 4 different variables ranging in 0..255 (or 2 variables in
> 0..65535) and "link" them by constraints.

Yes, this looks like the way to go for GNU Prolog.

Best regards,

-- 
Nicolas