Omega trees for computing ect of task sets. More...
#include <cumulative.hh>
Public Member Functions | |
template<class Node> | |
ExtOmegaTree (Region &r, int c, const TaskTree< TaskView, Node > &t) | |
Initialize tree for tasks t and capacity c. | |
void | init (int ci) |
Initialize tasks for current capacity ci. | |
long long int | env (int i) |
Compute update for task with index i. |
Protected Attributes | |
int | c |
Capacity. | |
int | ci |
Protected Attributes inherited from Gecode::Int::TaskTree< TaskView, ExtOmegaNode > | |
const TaskViewArray< TaskView > & | tasks |
The tasks from which the tree is computed. | |
ExtOmegaNode * | 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, ExtOmegaNode > | |
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. | |
ExtOmegaNode & | leaf (int i) |
Return leaf for task i. | |
const ExtOmegaNode & | 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, ExtOmegaNode > | |
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 trees for computing ect of task sets.
Definition at line 594 of file cumulative.hh.
Gecode::Int::Cumulative::ExtOmegaTree< TaskView >::ExtOmegaTree | ( | Region & | r, |
int | c, | ||
const TaskTree< TaskView, Node > & | t ) |
void Gecode::Int::Cumulative::ExtOmegaTree< TaskView >::init | ( | int | ci | ) |
|
inline |
|
protected |
Capacity.
Definition at line 612 of file cumulative.hh.
|
protected |
Definition at line 612 of file cumulative.hh.