ROSE
0.11.102.0
|
Visitor for traversing a queue.
Definition at line 19 of file PathQueue.h.
#include <Rose/BinaryAnalysis/ModelChecker/PathQueue.h>
Public Member Functions | |
virtual bool | operator() (const PathPtr &)=0 |
Callback. More... | |
|
pure virtual |
Callback.
This callback is invoked for each path of the queue in no particular order. If any call to the callback returns false, then the traversal is terminated. The queue is locked for the duration of the traversal.