Generated on Tue Feb 11 2025 17:33:26 for Gecode by doxygen 1.12.0
Gecode::Int::Cumulative::ExtOmegaTree< TaskView > Class Template Reference

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 update (void)
 Update all inner nodes of tree after leaves have been initialized.
 
void init (void)
 Initialize tree after leaves have been initialized.
 
 TaskTree (Region &r, const TaskViewArray< TaskView > &t)
 Initialize tree for tasks t.
 
 TaskTree (Region &r, const TaskTree< TaskView, Node2 > &t)
 Initialize tree using tree 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.
 

Detailed Description

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

Omega trees for computing ect of task sets.

Definition at line 594 of file cumulative.hh.

Constructor & Destructor Documentation

◆ ExtOmegaTree()

template<class TaskView >
template<class Node >
Gecode::Int::Cumulative::ExtOmegaTree< TaskView >::ExtOmegaTree ( Region & r,
int c,
const TaskTree< TaskView, Node > & t )

Initialize tree for tasks t and capacity c.

Definition at line 114 of file tree.hpp.

Member Function Documentation

◆ init()

template<class TaskView >
void Gecode::Int::Cumulative::ExtOmegaTree< TaskView >::init ( int ci)

Initialize tasks for current capacity ci.

Definition at line 104 of file tree.hpp.

◆ env()

template<class TaskView >
long long int Gecode::Int::Cumulative::ExtOmegaTree< TaskView >::env ( int i)
inline

Compute update for task with index i.

Definition at line 120 of file tree.hpp.

Member Data Documentation

◆ c

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

Capacity.

Definition at line 612 of file cumulative.hh.

◆ ci

template<class TaskView >
int Gecode::Int::Cumulative::ExtOmegaTree< TaskView >::ci
protected

Definition at line 612 of file cumulative.hh.


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