4.6 The class PEL_PropQueue

PEL_PropQueue

PEL_PropQueue(void);

Constructs a propagation queue.

enqueue

void enqueue(int fnct_idx);

Enqueue a propagation function index fnct_idx. The propagation function index is related to a propagation function table.

dequeue

int dequeue(void);

Returns a propagation function index.

apply

pf_return_t apply(PEL_PropFnctTable &pft,  
                  PEL_ParamTable &pt,  
                  PEL_SuspVar * []);

Dequeues an index and applies the corresponding propagation function closure of pft. It returns the value returned by the propagation function.

isEmpty

int isEmpty(void);

Tests if the queue is empty.

setFailed

void setFailed(void);

Sets the queue failed.

isFailed

int isFailed(void);

Tests if the queue is failed.

isBasic

int isBasic(void);

Tests if all propagation functions registered with the queue have ceased to exist.

incAPF

void incAPF(void);

Increments the registration counter by 1.

decAPF

void decAPF(void);

Decrements the registration counter by 1.

reset

void reset(void);

Resets the queue. (???)

getSize

int getSize(void);

Returns the number of queued propagation function entry indicies.


Tobias Müller
Version 1.4.0 (20080702)