| << Prev | - Up - | Next >> |
PEL_PropFnctTableEntryPEL_PropFnctTableEntry [constructor]
PEL_PropFnctTableEntry(pf_fnct_t fn, int idx);
Constructs a propagator table entry with propagation function fn and index to parameter table idx.
isScheduled [member function]
void isScheduled(void);
Tests if the propagation function of this entry is marked as scheduled.
setScheduled [member function]
void setScheduled(void);
Marks the propagation function of this entry as scheduled.
unsetScheduled [member function]
void unsetScheduled(void);
Marks the propagation function of this entry as not scheduled.
isDead [member function]
int isDead(void);
Tests if the propagation function of this entry is marked as dead.
setDead [member function]
void setDead(void);
Marks the propagation function of this entry as dead.
getFnct [member function]
pf_fnct_t getFnct(void);
Returns the pointer to the propagation function of this entry.
getParamIdx [member function]
int getParamIdx(void);
Returns the index to parameter table of this entry.
| << Prev | - Up - | Next >> |