CGAL 4.7 - dD Range and Segment Trees: RangeSegmentTreeTraits_k Concept Reference

\( \newcommand{\E}{\mathrm{E}} \) \( \newcommand{\A}{\mathrm{A}} \) \( \newcommand{\R}{\mathrm{R}} \) \( \newcommand{\N}{\mathrm{N}} \) \( \newcommand{\Q}{\mathrm{Q}} \) \( \newcommand{\Z}{\mathrm{Z}} \) \( \def\ccSum #1#2#3{ \sum_{#1}^{#2}{#3} } \def\ccProd #1#2#3{ \sum_{#1}^{#2}{#3} }\)

CGAL 4.7 - dD Range and Segment Trees

All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Groups Pages
List of all members
RangeSegmentTreeTraits_k Concept Reference
Concepts

## Definition

A tree traits class gives the range tree and segment tree class the necessary type information of the keys and intervals. Further more, they define function objects that allow to access the keys and intervals, and provide comparison functions that are needed for window queries.

Example

The following piece of code gives an example of how a traits class might look like, if you have keys that are of the type `int` in the first and that are of the type `double` in the second dimension.

class Int_double_tree_traits_2{
public:
typedef std::pair<int, double> Key;
typedef int Key_1;
typedef double Key_2;
typedef std::pair<Key,Key> Interval;
class C_Key_1{
public:
Key_1 operator()(const Key& k)
{ return k.first;}
};
class C_Key_2{
public:
Key_2 operator()(const Key& k)
{ return k.second;}
};
class C_Low_1{
public:
Key_1 operator()(const Interval& i)
{ return i.first.first;}
};
class C_High_1{
public:
Key_1 operator()(const Interval& i)
{ return i.second.first;}
};
class C_Low_2{
public:
Key_2 operator()(const Interval& i)
{ return i.first.second;}
};
class C_High_2{
public:
Key_2 operator()(const Interval& i)
{ return i.second.second;}
};
class C_Compare_1{
public:
bool operator()(Key_1 k1, Key_1 k2)
{ return less<int>()(k1,k2);}
};
class C_Compare_2{
public:
bool operator()(Key_2 k1, Key_2 k2)
{ return less<double>()(k1,k2);}
};
typedef C_Compare_1 compare_1;
typedef C_Compare_2 compare_2;
typedef C_Low_1 low_1;
typedef C_High_1 high_1;
typedef C_Key_1 key_1;
typedef C_Low_2 low_2;
typedef C_High_2 high_2;
typedef C_Key_2 key_2;
};

## Types

typedef unspecified_type | Key
| The k-dimensional key type.
typedef unspecified_type | Interval
| The k-dimensional interval type.
typedef unspecified_type | Key_i
| The type in dimension \( i\), with \( 1\leq i \leq k\).
typedef unspecified_type | key_i
| function object providing an `operator()` that takes an argument of type `Key` and returns a component of type `Key_i`.
typedef unspecified_type | low_i
| function object providing an `operator()` that takes an argument of type `Interval` and returns a component of type `Key_i`.
typedef unspecified_type | high_i
| function object providing an `operator()` that takes an argument of type `Interval` and returns a component of type `Key_i`.
typedef unspecified_type | compare_i
| function object providing an `operator()` that takes two arguments argument \( a\), \( b\) of type `Key_i` and returns true if \( a<b\), false otherwise.