Hi Kish, You are really trying to embarrass us in public, aren't you ;-) No, minimodel does not yet use half-reification. But if you do the flattening yourself (which I guess you do) you should use when possible.
Honestly, half-reification has been (so-far, that is) one of the biggest time wasters in Gecode history. That might change if we replace minimodel at some point in time by something cooler. Cheers Christian -- Christian Schulte, www.ict.kth.se/~cschulte/ > -----Original Message----- > From: users-boun...@gecode.org [mailto:users-boun...@gecode.org] On > Behalf Of Kish Shen > Sent: Tuesday, July 16, 2013 6:02 PM > To: users@gecode.org > Subject: [gecode-users] half reification and expressions in MiniModel > > Hi, > > I am looking at half reification and how to add support for it to ECLiPSe's > Gecode interface. In particular, I am looking at expressions posted in the > MiniModel: > > Looking at the documentation, I don't think the reified form of rel() -- the one > with a boolean control variable -- is supported by the MiniModel. > > However, in my existing code, I do support the equivalent of reified > rel() by posting the BoolExpr: > > B == <IntRel> > > where B is the boolean control variable. > > In addition, the following are also supported: > > > B >> <IntRel> > > <IntRel> >> B > > If I understand correctly, these two are logically equivalent to the two half > reification cases. > > I am wondering if the above forms will now take full advantage of the half > reification facilities of Gecode 4? > > Thanks in advance for any information! > > Cheers, > > Kish > > > > _______________________________________________ > Gecode users mailing list > users@gecode.org > https://www.gecode.org/mailman/listinfo/gecode-users _______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
