Description
Information about a path that is in progress.
Definition at line 49 of file ModelChecker/Engine.h.
#include <Rose/BinaryAnalysis/ModelChecker/Engine.h>
Collaboration diagram for Rose::BinaryAnalysis::ModelChecker::Engine::InProgress:
Public Member Functions | |
| InProgress (const PathPtr &) | |
Public Attributes | |
| PathPtr | path |
| The path being worked on. More... | |
| Sawyer::Stopwatch | elapsed |
| Wall clock time elapsed for this work. More... | |
| boost::thread::id | threadId |
| Identifier for thread doing the work. More... | |
| int | tid = 0 |
| Linux thread ID. More... | |
Member Data Documentation
| PathPtr Rose::BinaryAnalysis::ModelChecker::Engine::InProgress::path |
The path being worked on.
Definition at line 54 of file ModelChecker/Engine.h.
| Sawyer::Stopwatch Rose::BinaryAnalysis::ModelChecker::Engine::InProgress::elapsed |
Wall clock time elapsed for this work.
Definition at line 55 of file ModelChecker/Engine.h.
| boost::thread::id Rose::BinaryAnalysis::ModelChecker::Engine::InProgress::threadId |
Identifier for thread doing the work.
Definition at line 56 of file ModelChecker/Engine.h.
| int Rose::BinaryAnalysis::ModelChecker::Engine::InProgress::tid = 0 |
Linux thread ID.
Definition at line 57 of file ModelChecker/Engine.h.
The documentation for this struct was generated from the following file:
