Hi Christian Thank you very much for clarifying that for me. I think what confused me, is that the documentation on MedEvent, seen here http://www.gecode.org/gecode-doc-latest/group__TaskVarMEPC.html#gfa985ae465bd12df08e29252cdb7519b, only mentions Gecode::ME_GEN_FAILED, Gecode::ME_GEN_NONE and Gecode::ME_GEN_ASSIGNED.
Kind regards Morten Boysen Christian Schulte skrev: > 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:boy...@itu.dk] > Sent: Sunday, January 25, 2009 10:57 PM > To: Christian Schulte > Cc: 'Anden blah'; us...@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-boun...@gecode.org [mailto:users-boun...@gecode.org] *On >> Behalf Of *Christian Schulte >> *Sent:* Friday, January 23, 2009 5:05 PM >> *To:* 'Anden blah'; us...@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-boun...@gecode.org [mailto:users-boun...@gecode.org] *On >> Behalf Of *Anden blah >> *Sent:* Friday, January 23, 2009 4:44 PM >> *To:* us...@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 >> us...@gecode.org >> https://www.gecode.org/mailman/listinfo/gecode-users > > _______________________________________________ Gecode users mailing list us...@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
