Public Member Functions | List of all members
Rose::BinaryAnalysis::ModelChecker::PathQueue::Visitor Class Referenceabstract


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...

Member Function Documentation

virtual bool Rose::BinaryAnalysis::ModelChecker::PathQueue::Visitor::operator() ( const PathPtr &  )
pure virtual


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.

The documentation for this class was generated from the following file: