[gecode-users] Identifying an IntVar

[David Rijsman]

I am building my own somewhat generic tracing for certain search
operators and for this I have created my own branching to create my
own tracing in a Branching::commit. This in itself is no problem but
now I would like to map the variable(s), on which tell operation(s)
will be executed in the commit, back to variables in for example an
array in my derived Space (for example the variable we execute a tell
on is the third variable in the array in my space). As the IntVar
instances have no identifier attributes this seems impossible. Am I
missing some possibilities?  And if I would like to add an identifier
attribute to for example an IntVar I should do this in IntVarImp?

David