It's often that when we have visited interested nodes, the exploration doesn't need to continue. So, it would be great if early termination is supported. I'm thinking to define a class that users can throw inside the visitor. Then, the visitor function catches it and terminate normally. If this sounds good, I can contribute. :)
It's often that when we have visited interested nodes, the exploration doesn't need to continue. So, it would be great if early termination is supported. I'm thinking to define a class that users can throw inside the visitor. Then, the visitor function catches it and terminate normally. If this sounds good, I can contribute. :)