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? Best regards, Giuseppe ---------------------------------------------------------------------------- Giuseppe Di Guglielmo Dept. of Computer Science - University of Verona Strada le Grazie, 15 - 37134 Verona - Italy Phone Office: +39 045 8027049 Fax: +39 045 8027068 Phone Home: +39 045 6152251 Mobile: +39 347 0493371 WWW: http://profs.sci.univr.it/~diguglielmo email: giuseppe.diguglielmo_at_univr.it email: diguglielmo_at_certess.com Skype: giuseppe.diguglielmo ---------------------------------------------------------------------------- This e-mail message is intended for the addressee(s) only and may contain confidential and or privileged information. If you are not the intended recipient of this e-mail message, you should not read, copy, forward or otherwise distribute or further disclose the information in it. If you have received this e-mail message in error, please contact the originator of this e-mail message via e-mail and delete all copies of this message from your computer or network, thank you. > -----Messaggio originale----- > Da: Giuseppe Di Guglielmo [mailto:giuseppe.diguglielmo_at_univr.it] > Inviato: giovedė 16 ottobre 2008 14.12 > A: eclipse-clp-users_at_lists.sf.net > Oggetto: [eclipse-clp-users] How to access to single bit in ECLiPSe ? > > Dear all, > I am using the 'ic' library, and in particular I am exploiting ECLiPSe to > solve simple constraints like (X != 0 & Y > 0). > > As follow: > ------ > % load the library Interval Constraint > % see at ECLiPSe "Constraint Library Manual" > % in particular "IC: A Hybrid Finite Domain / Real Number Interval > Constraint Solver" > % http://87.230.22.228/doc/libman/libman016.html > > :- lib(ic). > > % the PIs X and Y are 32 bit INTEGER SIGNED [ -2^31 , ] > % > > p :- L is -(2^31), > R is (2^31)-1, > write("Lower bound: "), writeln(L), > write("Upper bound: "), writeln(R), > X :: L..R, > Y :: L..R, > ( X #= 0 ) and ( Y #> 0), > indomain(X, random), > indomain(Y, random), > writeln("X = 0 and Y != 0"), > write("X: "), writeln(X), > write("Y: "), writeln(Y), > writeln("----"). > ------ > > Now I'd like to define some variables as "bit vectors" and ask to the > constraint solver to solve constraints like: > X is bit_vector[7..0] % 8 bits vector > Y is bit_vector[7..0] % 8 bits vector > > X[4] = 1 & Y[2] != 0 > > I expect as result, something like > X = --1---- > Y = ----0-- > > Where - could be (randomly 0 or 1). > > Is this possible in ECLiPSe? Does exist any workaround? > > Best regards, > Giuseppe > > -------------------------------------------------------------------------- > -- > Giuseppe Di Guglielmo Dept. of Computer Science - University of > Verona > Strada le Grazie, 15 - 37134 Verona - Italy > > Phone Office: +39 045 8027049 Fax: +39 045 8027068 > Phone Home: +39 045 6152251 Mobile: +39 347 0493371 > > WWW: http://profs.sci.univr.it/~diguglielmo > > email: giuseppe.diguglielmo_at_univr.it > email: diguglielmo_at_certess.com Skype: giuseppe.diguglielmo > > -------------------------------------------------------------------------- > -- > > > This e-mail message is intended for the addressee(s) only and may contain > confidential and or privileged information. If you are not the intended > recipient of this e-mail message, you should not read, copy, forward or > otherwise distribute or further disclose the information in it. If you > have > received this e-mail message in error, please contact the originator of > this > e-mail message via e-mail and delete all copies of this message from your > computer or network, thank you. > > > > > ------------------------------------------------------------------------- > This SF.Net email is sponsored by the Moblin Your Move Developer's > challenge > Build the coolest Linux based applications with Moblin SDK & win great > prizes > Grand prize is a trip for two to an Open Source event anywhere in the > world > http://moblin-contest.org/redirect.php?banner_id=100&url=/ > _______________________________________________ > ECLiPSe-CLP-Users mailing list > ECLiPSe-CLP-Users_at_lists.sourceforge.net > https://lists.sourceforge.net/lists/listinfo/eclipse-clp-users
This archive was generated by hypermail 2.2.0 : Thu Feb 02 2012 - 02:31:58 CET