#include <extensional.hh>
Public Member Functions | |
Status (StatusType t) | |
Initialize with type t (either NONE or SEVERAL) | |
Status (const Status &s) | |
Copy constructor. | |
StatusType | type (void) const |
Return status type. | |
bool | single (CTAdvisor &a) const |
Check whether status is single and equal to a. | |
void | touched (CTAdvisor &a) |
Set status to SINGLE or MULTIPLE depending on a. | |
void | none (void) |
Set status to NONE. | |
void | propagating (void) |
Set status to PROPAGATING. | |
Protected Attributes | |
ptrdiff_t | s |
A tagged pointer for storing the status. | |
Status management.
Definition at line 528 of file extensional.hh.
|
inline |
Initialize with type t (either NONE or SEVERAL)
Definition at line 417 of file compact.hpp.
|
inline |
Copy constructor.
Definition at line 421 of file compact.hpp.
|
inline |
Return status type.
Definition at line 425 of file compact.hpp.
|
inline |
Check whether status is single and equal to a.
Definition at line 430 of file compact.hpp.
|
inline |
Set status to SINGLE or MULTIPLE depending on a.
Definition at line 438 of file compact.hpp.
|
inline |
Set status to NONE.
Definition at line 444 of file compact.hpp.
|
inline |
Set status to PROPAGATING.
Definition at line 449 of file compact.hpp.
|
protected |
A tagged pointer for storing the status.
Definition at line 531 of file extensional.hh.