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