GaloisRuntime::TerminationDetection::tokenHolder Class Reference

#include <Termination.h>

List of all members.

Public Member Functions
	tokenHolder ()
void	workHappened ()
Private Attributes
volatile long	tokenIsBlack
volatile long	hasToken
volatile long	processIsBlack
Friends
class	TerminationDetection

---

Constructor & Destructor Documentation

GaloisRuntime::TerminationDetection::tokenHolder::tokenHolder

(

)

[inline]

---

Member Function Documentation

void GaloisRuntime::TerminationDetection::tokenHolder::workHappened

(

)

[inline]

---

Friends And Related Function Documentation

friend class TerminationDetection [friend]

---

Member Data Documentation

volatile long GaloisRuntime::TerminationDetection::tokenHolder::hasToken [private]

volatile long GaloisRuntime::TerminationDetection::tokenHolder::processIsBlack [private]

volatile long GaloisRuntime::TerminationDetection::tokenHolder::tokenIsBlack [private]

---

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

• Termination.h