Re: [eclipse-clp-users] R: How to access to single bit in ECLiPSe ?

2008/10/16 Giuseppe Di Guglielmo <giuseppe.diguglielmo_at_...95...>:
> Dear all,
> I found the attached solution for my problem.
>
> I assume to have this situation:
> 1. X and Y bit_vectors of size 8
> 2. constraint
>   X[2] == '1' & X[3] == '1' & Y[1] == '1' & Y[1] == X[4]
>
> Do you have more suggestions? Is it correct?
>
I would do this in the same way. At least basing on what
you have written so far.

You can use also the following equation:
X=sum_i 2^{i-1} * x[i]
where x_i in {0,1} and i=1, 2, ... SIZE.

This equation binds binary and natural representation of X.

Best regards
-- 
[ Wit Jakuczun  w.jakuczun_at_...116... ]
[ WLOG Solutions http://wlogsolutions.com   ]