[gecode-users] size of the search tree

[Jean-Noël Monette]

Hello,

Using Gecode, I would like to know what is the size of the search tree 
but this information is not given. If recomputation is disabled, I think 
that it can be computed as the sum of the number of clone, the number of 
fails and the number of solution found. However, when recomputation is 
activated, there is not a clone for each node of the search tree and I 
don't see how to recover the size of the tree.

Have you any solution?

Thanks a lot for your help,

Jean-Noël Monette