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