[gecode-users] Value intersection problem

Christian Schulte cschulte at kth.se
Fri Jan 23 17:05:24 CET 2009



Are the values sorted? They must be even though the documentation doesn't
say it (damn).





Christian Schulte, www.it.kth.se/~cschulte/


From: users-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf
Of Anden blah
Sent: Friday, January 23, 2009 4:44 PM
To: users at gecode.org
Subject: [gecode-users] Value intersection problem



I am trying to restrict the values of an IntView by doing the following:
...(values is given as parameter for the method containing this code, the
type is  const set<string>& )

    vector<string> v;  

    for(set<string>::const_iterator setIt = values.begin(); setIt!=
values.end(); setIt++)
    for(int i=0;i<v.size();i++)
      restrictedDoms[i] = atoi(v[i].c_str());
    Gecode::Iter::Values::Array restrictIterator(restrictedDoms, v.size());

    return iv.inter_v(homeFZ, restrictIterator, false);


I can inspect the code and see that the values contained in "restrictedDoms"
are the values 1 to 10. Furthermore I can see that iv.size() is 10 (values 1
to 10) before the call to inter_v (and unassigned of course). Then after the
call to inter_v, iv is assigned, and I can see that the value it is assigned
to is the first value in the restrictedDoms array. 

So what am I doing wrong?



p.s.  Of course it is useless to intersect a variable with domain 1 to 10
with the values 1 to 10, but still the behavior is unexpected.


What can you do with the new Windows Live? Find
<http://www.microsoft.com/windows/windowslive/default.aspx>  out

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.ps.uni-sb.de/pipermail/users/attachments/20090123/4aab0e08/attachment.htm>

More information about the gecode-users mailing list