\( \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.8 - Monotone and Sorted Matrix Search

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

## Definition

The concept `SortedMatrixSearchTraits` defines types and operations needed to compute the smallest entry in a set of sorted matrices that fulfills a certain feasibility criterion using the function `CGAL::sorted_matrix_search`.

Has Models:
  `CGAL::Sorted_matrix_search_traits_adaptor<F,M>`

See Also
  `CGAL::sorted_matrix_search()`
  `BasicMatrix`

## Types
typedef unspecified_type | Matrix
| The class used for representing matrices. More...
typedef Matrix::Value | Value
| The class used for representing the matrix elements.
typedef unspecified_type | Compare_strictly
| An adaptable binary function class: `Value` \( \times\) `Value` \( \rightarrow\) `bool` defining a non-reflexive total order on `Value`. More...
typedef unspecified_type | Compare_non_strictly
| An adaptable binary function class: `Value` \( \times\) `Value` \( \rightarrow\) `bool` defining the reflexive total order on `Value` corresponding to `Compare_strictly`.

## Operations
Compare_strictly | compare_strictly () const
| returns the `Compare_strictly` object to be used for the search.
Compare_non_strictly | compare_non_strictly () const
| returns the `Compare_non_strictly` object to be used for the search.
bool | is_feasible (const Value &a)
| The predicate to determine whether an element `a` is feasible. More...

## Member Typedef Documentation

typedef unspecified_type SortedMatrixSearchTraits::Compare_strictly

An adaptable binary function class: `Value` \( \times\) `Value` \( \rightarrow\) `bool` defining a non-reflexive total order on `Value`.

This determines the direction of the search.

typedef unspecified_type SortedMatrixSearchTraits::Matrix

The class used for representing matrices.

It has to be a model for `BasicMatrix`.

## Member Function Documentation

bool SortedMatrixSearchTraits::is_feasible | ( | const Value & | a) |  |

The predicate to determine whether an element `a` is feasible.

It has to be monotone in the sense that `compare(a, b)` and `is_feasible(a)` imply `is_feasible(b)`.