Omega-lambda trees for computing ect of task sets. More...
#include <cumulative.hh>
Public Member Functions | |
OmegaLambdaTree (Region &r, int c, const TaskViewArray< TaskView > &t) | |
Initialize tree for tasks t and capcity c with all tasks included in omega. | |
void | shift (int i) |
Shift task with index i from omega 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. | |
long long int | env (void) const |
Return energy envelope of all tasks. | |
long long int | lenv (void) const |
Return energy envelope of all tasks excluding lambda tasks. |
Protected Attributes | |
int | c |
Capacity. | |
Protected Attributes inherited from Gecode::Int::TaskTree< TaskView, OmegaLambdaNode > | |
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. |
Additional Inherited Members | |
Protected Member Functions inherited from Gecode::Int::TaskTree< TaskView, OmegaLambdaNode > | |
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 Protected Member Functions inherited from Gecode::Int::TaskTree< TaskView, OmegaLambdaNode > | |
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. |
Omega-lambda trees for computing ect of task sets.
Definition at line 645 of file cumulative.hh.
Gecode::Int::Cumulative::OmegaLambdaTree< TaskView >::OmegaLambdaTree | ( | Region & | r, |
int | c, | ||
const TaskViewArray< TaskView > & | t ) |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
protected |
Capacity.
Definition at line 653 of file cumulative.hh.