2.2 The class OZ_CtWakeUp

init

void init(void);

Initializes an instance of this class. 1

isEmpty

OZ_Boolean isEmpty(void);

Returns OZ_True if no wake-up list has to be scanned.

setWakeUp

OZ_Boolean setWakeUp(int i);

Sets the wake-up list indexed by i (i =
0,\ldots, getNoOfWakeUpLists()-1) to be scanned.

isWakeUp

OZ_Boolean isWakeUp(int i);

Returns OZ_True if the corresponding wake-up list indexed by i is to be scanned.

getWakeUpAll

static OZ_CtWakeUp getWakeUpAll(void);

Sets all possible wake-up events.


1. Note that there is no default constructor for some implementational reasons.

Tobias Müller
Version 1.4.0 (20080702)