Hello, currently i have to create some IntegerVariables and some constraints, and i'm doing this using the IntVar/2 constructor, restricting the variables domain.
Due to some design decisions it could be necessary to change this to something like: IntVar x(*this, MIN_INT,MAX_INT); dom(*this, x,2,12); or worse BoolVar a,b; dom(*this, x,2,12, a); dom(*this, x,24,42, b); rel(*this, a, BOT_OR, b, 1). Afterwards i will do post further constraints and do search. Is this bad in terms of performance, and if, why. (I can understand that i have to post the dom constraint first, because sending a constraint already does some propagation. Furthermore: does the second variant (with the BOT_OR) also restrict the domain of the variable?) Best, Max -- Empfehlen Sie GMX DSL Ihren Freunden und Bekannten und wir belohnen Sie mit bis zu 50,- Euro! https://freundschaftswerbung.gmx.de _______________________________________________ Gecode users mailing list [email protected] https://www.gecode.org/mailman/listinfo/gecode-users
