AlgebraicKernel_d_1::BoundBetween_1

Definition

Computes a number of type AlgebraicKernel_d_1::Bound in-between two AlgebraicKernel_d_1::Algebraic_real_1 values.

Refines

AdaptableBinaryFunction

Types

typedef AlgebraicKernel_d_1::Bound
result_type;
typedef AlgebraicKernel_d_1::Algebraic_real_1
first_argument_type;
typedef AlgebraicKernel_d_1::Algebraic_real_1
second_argument_type;

Operations

result_type fo ( first_argument_type a , second_argument_type b )
Computes a value r, which is between a and b.
Precondition:  a b
Postcondition:  r > min(a,b)
Postcondition:  r < max(a,b)