Add a changeCounter, I think. Maybe pools should have that in general. Kind of like Watched, but a little simpler.
Add some kind of resource limits, so the search will not go on forever.
Make it interuptable, or something. An advance & callback when you've got something.
. This page generated via
Wed Oct 10 16:40:37 2001.