SortedMatrixSearchTraits

advanced

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>

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.

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