[gecode-users] Value intersection problem

[Christian Schulte]

Dear Morten,

thanks for reposting!

The ModEvent depends not only on size but on the type of domain: a
modification event is meant to capture how a domain changes. So for
integers:
 - If the domain has size > 1 and turns to size 1, you get ME_INT_VAL
 - If the domain has size > 1 and turns to size > 1 and either the min or
max change you get ME_INT_BND
 - Otherwise, you get ME_INT_DOM (some inner values got removed).

As you see, this depends on the variable type. You can always assume that
the value for modification event triggered on assignment equals
ME_GEN_ASSIGNED (that is, ME_INT_VAL == ME_GEN_ASSIGNED).

Hope that helps
Christian

--
Christian Schulte, www.ict.kth.se/~cschulte/

-----Original Message-----
From: Morten Boysen [mailto:boysen at itu.dk] 
Sent: Sunday, January 25, 2009 10:57 PM
To: Christian Schulte
Cc: 'Anden blah'; users at gecode.org
Subject: Re: [gecode-users] Value intersection problem

Hi Christian

Below is my reply, which I have changed a little bit since the original 
reply was badly worded on my part:

The values were not sorted. We sorted the values before using them with
inter_v and ít solved the problem.  :-)

I have a small follow-up question regarding advisors:

We use a series of advisors to schedule the propagator, but we are
uncertain on what ModEvent is used, if the domain becomes smaller, but 
is still larger than 1? That is, if the domain is reduced to size 1, the 
ModEvent is ME_GEN_ASSIGNED, but wha ModEvent is used if the size is 
decreased from e.g. 4 to 3?

Kind regards
Morten


Christian Schulte skrev:
> Sorry, guys: somebody answered that email but somehow I must have 
> deleted that
 Could that person please resend the message. Thanks a bunch!
> 
>  
> 
> Sorry again from an idiot who cannot handle his mail client
> 
> Christian
> 
>  
> 
> --
> 
> Christian Schulte, www.it.kth.se/~cschulte/
> 
>  
> 
> *From:* users-bounces at gecode.org [mailto:users-bounces at gecode.org] *On 
> Behalf Of *Christian Schulte
> *Sent:* Friday, January 23, 2009 5:05 PM
> *To:* 'Anden blah'; users at gecode.org
> *Subject:* Re: [gecode-users] Value intersection problem
> 
>  
> 
> Hi
> 
>  
> 
> Are the values sorted? They must be even though the documentation 
> doesn’t say it (damn).
> 
>  
> 
> Christian
> 
>  
> 
> --
> 
> 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
> 
>  
> 
> Hi
> 
> 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++)
>     {
>       v.push_back(*setIt);
>     }
>     GECODE_AUTOARRAY(int,restrictedDoms,v.size());
>     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?
> 
> Thanks!
> 
> Andreas
> 
> 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 out 
> <http://www.microsoft.com/windows/windowslive/default.aspx>
> 
> 
> ------------------------------------------------------------------------
> 
> _______________________________________________
> Gecode users mailing list
> users at gecode.org
> https://www.gecode.org/mailman/listinfo/gecode-users