|
| OmegaLambdaTree (Region &r, const TaskViewArray< TaskView > &t, bool inc=true) |
| Initialize tree for tasks t with all tasks included, if inc is true.
|
void | shift (int i) |
| Shift task with index i from omega to lambda.
|
void | oinsert (int i) |
| Insert task with index i to omega.
|
void | linsert (int i) |
| Insert task with index i to lambda.
|
void | lremove (int i) |
| Remove task with index i from lambda.
|
bool | lempty (void) const |
| Whether has responsible task.
|
int | responsible (void) const |
| Return responsible task.
|
int | ect (void) const |
| Return earliest completion time of all tasks.
|
int | lect (void) const |
| Return earliest completion time of all tasks excluding lambda tasks.
|
|
int | n_inner (void) const |
| Return number of inner nodes.
|
int | n_nodes (void) const |
| Return number of nodes for balanced binary tree.
|
bool | n_leaf (int i) const |
| Whether node i is leaf.
|
OmegaLambdaNode & | leaf (int i) |
| Return leaf for task i.
|
const OmegaLambdaNode & | root (void) const |
| Return root node.
|
void | update (int i, bool l=true) |
| Update tree after leaf for task i has changed (l whether i refers to a leaf)
|
void | init (void) |
| Initialize tree after leaves have been initialized.
|
| TaskTree (Region &r, const TaskViewArray< TaskView > &t) |
| Initialize tree for tasks t.
|
static bool | n_root (int i) |
| Whether node i is index of root.
|
static int | n_left (int i) |
| Return index of left child of node i.
|
static bool | left (int i) |
| Test whether node i is a left child.
|
static int | n_right (int i) |
| Return index of right child of node i.
|
static bool | right (int i) |
| Test whether node i is a right child.
|
static int | n_parent (int i) |
| Return index of parent of node i.
|
const TaskViewArray< TaskView > & | tasks |
| The tasks from which the tree is computed.
|
OmegaLambdaNode * | node |
| Task nodes.
|
int * | _leaf |
| Map task number to leaf node number in right order.
|
template<class TaskView>
class Gecode::Int::Unary::OmegaLambdaTree< TaskView >
Omega-lambda trees for computing ect of task sets.
Definition at line 715 of file unary.hh.