GaloisRuntime::TerminationDetection Class Reference
#include <Termination.h>
List of all members.
Constructor & Destructor Documentation
| TerminationDetection::TerminationDetection |
( |
|
) |
|
Member Function Documentation
| tokenHolder* GaloisRuntime::TerminationDetection::getLocalTokenHolder |
( |
|
) |
[inline] |
| bool GaloisRuntime::TerminationDetection::globalTermination |
( |
|
) |
[inline] |
| void TerminationDetection::localTermination |
( |
|
) |
|
| void GaloisRuntime::TerminationDetection::workHappened |
( |
|
) |
[inline] |
Member Data Documentation
The documentation for this class was generated from the following files:
