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.
_______________________________________________
Gecode users mailing list
[EMAIL PROTECTED]
https://www.gecode.org/mailman/listinfo/gecode-users

Reply via email to