[gecode-users] BoolVars, Intvars and Channeling

[David Przybilla]

In gecode 1 it was possible to use BoolVars and IntVars interchangeably,
that means that a function which received a BoolVar could receive an Intvar
and a function which received an IntVar could received a BoolVar as an
argument.
Im porting a library from gecode 1 to Gecode 2
The solution I had found for these function callings is to create a new
variable and post a channeling constraint
I wonder if there is another way to achieve this, and if posting this new
constraint would affect the performance.

Thank you in advance.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.ps.uni-sb.de/pipermail/users/attachments/20081025/90da45b4/attachment.htm>