[gecode-users] Question on IntVar-equalities with and without MiniModel

[Drescher, Conrad]

Hi there,

I have a question on the "equal" constraint between two IntVars, let's say x0 with domain [1,3,5], and x1 with domain [Int::Limits::min..Int::Limits::max].

If I write rel(home,x0,IRT_EQ,x1); x1 gets restricted to [1,3,5] as IRT_EQs default propagation level is IPL_DOM. But if I write rel(home,x0 == x1); using MiniModel x1 gets restricted to [1 - 5].

Apparently equalities between linear integer expressions get summarized into a "linear" constraint in MiniModel, which of course is nice. This linear constraint in turn seems to have a lot of special cases covered (which I haven't fully grasped yet). But I wonder whether it'd be possible to get the case of there being just two variables back up to IPL_DOM instead of IPL_BND? Of course, I understand you wouldn't want to have IPL_DOM for linear in general...

Many thanks!
Conrad

Dr. Conrad Drescher
Senior Developer | Variant Configuration
P&I S/4HANA Idea - LoB Research & Development
SAP SE | Dietmar-Hopp-Allee 16 | 69190 Walldorf | Germany
T +49 6227 7-77888 | M +49 160 90684883 | E conrad.drescher at sap.com
www.sap.com<http://www.sap.com/>

Please consider the impact on the environment before printing this e-mail.


Pflichtangaben/Mandatory Disclosure Statements:
http://www.sap.com/company/legal/impressum.epx

Diese E-Mail kann Betriebs- oder Geschäftsgeheimnisse oder sonstige vertrauliche Informationen enthalten. Sollten Sie diese E-Mail irrtümlich erhalten haben, ist Ihnen eine Kenntnisnahme des Inhalts, eine Vervielfältigung oder Weitergabe der E-Mail ausdrücklich untersagt. Bitte benachrichtigen Sie uns und vernichten Sie die empfangene E-Mail. Vielen Dank.

This e-mail may contain trade secrets or privileged, undisclosed, or otherwise confidential information. If you have received this e-mail in error, you are hereby notified that any review, copying, or distribution of it is strictly prohibited. Please inform us immediately and destroy the original transmittal. Thank you for your cooperation.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gecode.org/pipermail/users/attachments/20170310/80a110d0/attachment.html>