[gecode-users] Difference between using IntVal and IntVar in propagators?

[Kish Shen]

Hi,

Gecode has several propagators with variants where an argument can be an 
IntVar or IntVal. In general, is there a (significant) performance 
advantage in using the IntVal version instead of having an IntVar with a 
singleton domain, if the argument has a known integer value when posting 
the propagator? Can a generalisation even be made, or will this depend 
on the specific propagator?

The reason I ask is that since I am writing an interface to gecode, I do 
not know how the user will call specific propagators, and it is much 
cleaner for me to write the code to call as few version of the 
propagators as possible, instead of trying to specialise for every 
variant of the propagator (IntVal or IntVar), especially if there are 
more than one argument like this, but if this seriously affect 
performance, then I guess it is unavoidable.

Thanks and cheers,

Kish

-- 
This e-mail may contain confidential and privileged material for the
sole use of the intended recipient. Any review, use, distribution or
disclosure by others is strictly prohibited. If you are not the intended
recipient (or authorized to receive for the recipient), please contact
the sender by reply e-mail and delete all copies of this message.
Cisco Systems Limited (Company Number: 02558939), is registered in
England and Wales with its registered office at 1 Callaghan Square,
Cardiff, South Glamorgan CF10 5BT.