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.dresc...@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.


_______________________________________________
Gecode users mailing list
users@gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users

Reply via email to