| |
The class used for representing matrices. It has to fulfill the
requirements listed in section .
|
| ||
| The class used for representing the matrix elements. |
| |
An adaptable binary function class: Value
Value bool
defining a non-reflexive total order on Value. This
determines the direction of the search.
| |
| |
An adaptable binary function class: Value
Value bool
defining the reflexive total order on Value corresponding to
Compare_strictly.
|
|
| |
returns the Compare_strictly object to be used for the search. | ||
| ||
| ||
returns the Compare_non_strictly object to be used for the search. | ||
|
| |
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). |