Generated on Thu Jan 16 2025 00:00:00 for Gecode by doxygen 1.14.0
Gecode::Int::Cumulative::OmegaLambdaTree< TaskView > Class Template Reference

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.

Detailed Description

template<class TaskView>
class Gecode::Int::Cumulative::OmegaLambdaTree< TaskView >

Omega-lambda trees for computing ect of task sets.

Definition at line 645 of file cumulative.hh.

Constructor & Destructor Documentation

◆ OmegaLambdaTree()

template<class TaskView>
Gecode::Int::Cumulative::OmegaLambdaTree< TaskView >::OmegaLambdaTree ( Region & r,
int c,
const TaskViewArray< TaskView > & t )

Initialize tree for tasks t and capcity c with all tasks included in omega.

Definition at line 204 of file tree.hpp.

Member Function Documentation

◆ shift()

template<class TaskView>
void Gecode::Int::Cumulative::OmegaLambdaTree< TaskView >::shift ( int i)
inline

Shift task with index i from omega to lambda.

Definition at line 221 of file tree.hpp.

◆ lremove()

template<class TaskView>
void Gecode::Int::Cumulative::OmegaLambdaTree< TaskView >::lremove ( int i)
inline

Remove task with index i from lambda.

Definition at line 235 of file tree.hpp.

◆ lempty()

template<class TaskView>
bool Gecode::Int::Cumulative::OmegaLambdaTree< TaskView >::lempty ( void ) const
inline

Whether has responsible task.

Definition at line 248 of file tree.hpp.

◆ responsible()

template<class TaskView>
int Gecode::Int::Cumulative::OmegaLambdaTree< TaskView >::responsible ( void ) const
inline

Return responsible task.

Definition at line 254 of file tree.hpp.

◆ env()

template<class TaskView>
long long int Gecode::Int::Cumulative::OmegaLambdaTree< TaskView >::env ( void ) const
inline

Return energy envelope of all tasks.

Definition at line 260 of file tree.hpp.

◆ lenv()

template<class TaskView>
long long int Gecode::Int::Cumulative::OmegaLambdaTree< TaskView >::lenv ( void ) const
inline

Return energy envelope of all tasks excluding lambda tasks.

Definition at line 266 of file tree.hpp.

Member Data Documentation

◆ c

template<class TaskView>
int Gecode::Int::Cumulative::OmegaLambdaTree< TaskView >::c
protected

Capacity.

Definition at line 653 of file cumulative.hh.


The documentation for this class was generated from the following files: