Concept

SortedMatrixSearchTraits

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 sorted_matrix_search.

Types

SortedMatrixSearchTraits::Matrix
The class used for representing matrices. It has to be a model for BasicMatrix.

typedef Matrix::Value Value; The class used for representing the matrix elements.

SortedMatrixSearchTraits::Compare_strictly
An adaptable binary function class: Value × Value bool defining a non-reflexive total order on Value. This determines the direction of the search.


SortedMatrixSearchTraits::Compare_non_strictly
An adaptable binary function class: Value × Value bool defining the reflexive total order on Value corresponding to Compare_strictly.

Operations

Compare_strictly t.compare_strictly () const returns the Compare_strictly object to be used for the search.

Compare_non_strictly t.compare_non_strictly () const returns the Compare_non_strictly object to be used for the search.

bool t.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).

Has Models

CGAL::Sorted_matrix_search_traits_adaptor<F,M>

See Also

CGAL::sorted_matrix_search
BasicMatrix