[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: fd_vector_max/1

From: Nicolas Pelletier
Subject: Re: fd_vector_max/1
Date: Wed, 23 Feb 2011 09:05:04 +0900

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,


reply via email to

[Prev in Thread] Current Thread [Next in Thread]