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